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.html5
1 files changed, 2 insertions, 3 deletions
diff --git a/html-test/ref/PruneWithWarning.html b/html-test/ref/PruneWithWarning.html
index 220576fa..837c28b4 100644
--- a/html-test/ref/PruneWithWarning.html
+++ b/html-test/ref/PruneWithWarning.html
@@ -46,11 +46,10 @@ window.onload = function () {pageLoad();setSynopsis("mini_PruneWithWarning.html"
>Description</p
><div class="doc"
><p
- >What is tested here:
-</p
+ >What is tested here:</p
><ul
><li
- > If a binding has a deprecation message but no documentation, it is pruned
+ >If a binding has a deprecation message but no documentation, it is pruned
when <code
>OPTIONS_HADDOCK prune</code
> is used.