aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/PruneWithWarning.html
diff options
context:
space:
mode:
Diffstat (limited to 'html-test/ref/PruneWithWarning.html')
-rw-r--r--html-test/ref/PruneWithWarning.html3
1 files changed, 1 insertions, 2 deletions
diff --git a/html-test/ref/PruneWithWarning.html b/html-test/ref/PruneWithWarning.html
index 837c28b4..4fba05b6 100644
--- a/html-test/ref/PruneWithWarning.html
+++ b/html-test/ref/PruneWithWarning.html
@@ -52,8 +52,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_PruneWithWarning.html"
>If a binding has a deprecation message but no documentation, it is pruned
when <code
>OPTIONS_HADDOCK prune</code
- > is used.
-</li
+ > is used.</li
></ul
></div
></div