diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/distclean | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/distclean b/tools/distclean index 0132d2d..6035a6d 100755 --- a/tools/distclean +++ b/tools/distclean | |||
@@ -28,6 +28,7 @@ rm -f m4/Makefile.am | |||
28 | 28 | ||
29 | echo "$0: Removing miscelanious files..." | 29 | echo "$0: Removing miscelanious files..." |
30 | rm -f po/*.gmo po/stamp-po | 30 | rm -f po/*.gmo po/stamp-po |
31 | rm -f lib/tests/*.Po | ||
31 | rm -f doc/developer-guidelines.html | 32 | rm -f doc/developer-guidelines.html |
32 | rm -f INSTALL install-sh missing | 33 | rm -f INSTALL install-sh missing |
33 | rm -f plugins/t/check_nagios.nagios?.status.???.tmp | 34 | rm -f plugins/t/check_nagios.nagios?.status.???.tmp |