diff --git a/debian/rules b/debian/rules
index 7ff0fe761083502c12915bc12a5aa6674d1bcb8a..3fb88767577e165816b3cf6f9e61f6c98e197d9f 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
rm -f config.h config.log config.make config.status
rm -rf doc/manual.html-chunked/
- rm -f doc/manual.pdf doc/manual.html doc/manual.toc
+ rm -f doc/manual.pdf doc/manual.html doc/manual.toc doc/manual.tex
rm -f doc/tigmanual.7
rm -f doc/tig.1 doc/tig.1.html doc/tigrc.5 doc/tigrc.5.html
rm -f INSTALL.html NEWS.html README.html