author | Bernd Zeimetz <bzed@debian.org> | |
Mon, 11 Feb 2008 11:06:53 +0000 (12:06 +0100) | ||
committer | Bernd Zeimetz <bzed@debian.org> | |
Mon, 11 Feb 2008 11:06:53 +0000 (12:06 +0100) | ||
commit | db65952522f64f11cb6e0377364836a0fd184c5b | |
tree | f2ce2e968d6f22b4a33c9ee3db0fbffb05a9b0d8 | tree | snapshot |
parent | 8a7b3e5850f212a81f952f428cffec50f5f48c52 | commit | diff |
Clean doc/*.{html,txt,1}, too.
Not neccessary if make distclean works properly, but we never know.
Not neccessary if make distclean works properly, but we never know.
debian/rules | diff | blob | history |