Clean doc/*.{html,txt,1}, too.

Not neccessary if make distclean works properly, but we never know.

diff --git a/debian/rules b/debian/rules
index bbd045ba363d529399f44fee5264693cde4da81b..a2d2ffe89311f13d687eaa3d5a26bae377ee7c39 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
@@ -121,7 +121,7 @@ endif
               bindings/perl-piped/Makefile.old bindings/perl-shared/Makefile.old
        rm -f bindings/tcl/pkgIndex.tcl bindings/tcl/tclrrd*.so
        rm -f examples/cgi-demo.cgi
-       rm -rf src/.libs src/.deps
+       rm -rf src/.libs src/.deps doc/*.html doc/*.1 doc/*.txt
 
        dh_clean