diff options
Diffstat (limited to 'html-test/ref/PruneWithWarning.html')
| -rw-r--r-- | html-test/ref/PruneWithWarning.html | 5 |
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. |