remove rm of non-autogenerated files

diff --git a/doc/Makefile b/doc/Makefile
index 7fdd475c8d2b4e758d982c3d7b279b4e7f5505c6..580bd3f2ad017bc449659df1704416f807996476 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -25,7 +25,6 @@ messages: .phony
        done
 
 distclean: clean
-       rm -f *.html *.txt
        rm -rf locale
        rm -rf html
        rm -rf man