doc: clean-doc: remove generated standards.txt

I need to remove all the generated documentation files
before running "git-set-file-times" for rsync to our
website.

diff --git a/Documentation/include.mk b/Documentation/include.mk
index 1460604d092fa9fd8401318900840b60ad174e50..d2357ffcd859cd1c83c31dcc82f91c32758b86ac 100644 (file)
--- a/Documentation/include.mk
+++ b/Documentation/include.mk
@@ -188,7 +188,8 @@ rsync-doc: NEWS.atom.gz
 
 clean-doc:
        $(RM) $(man1) $(man5) $(man7) $(man8) $(gz_docs) $(docs_html) $(mantxt)
-       $(RM) $(gz_xdocs) $(xdocs_html) $(xdocs) NEWS NEWS.atom NEWS.html
+       $(RM) $(gz_xdocs) $(xdocs_html) $(xdocs)
+       $(RM) NEWS NEWS.atom NEWS.html Documentation/standards.txt
 
 clean :: clean-doc