Kill the comments stuff; it hasn't been used for ages.

[bugscan.git] / dohtml

diff --git a/dohtml b/dohtml
index e06f9bb609fd473525c3fe29fe8d97bb01beb8f3..d3b3e1bcbad754d0052080c792871c1f277a8e74 100755 (executable)
--- a/dohtml
+++ b/dohtml
@@ -39,17 +39,6 @@ EOF
        ./bugreport -H -s $filter
        
        cat <<EOF
-<p>
-Explanation for comment tags:
-<ul>
-   <li><strong>[FIX]</strong>: describes a simple method to deal with
-       the bug.
-   <li><strong>[STRATEGY]</strong>: describes a possible approach for
-       fixing the bug.
-   <li><strong>[HELP]</strong>: help is needed to fix this bug.
-   <li><strong>[REMOVE]</strong>: package will be removed if bug is not fixed
-</ul>
-
 <p>
 Explanation for <a href="http://www.debian.org/Bugs/Developer#tags">bug
 tags</a>: