]> git.tue.mpg.de Git - paraslash.git/commitdiff
Makefile.in: web_sync is a directory.
authorAndre Noll <maan@systemlinux.org>
Thu, 1 Nov 2007 15:11:33 +0000 (16:11 +0100)
committerAndre Noll <maan@systemlinux.org>
Thu, 1 Nov 2007 15:11:33 +0000 (16:11 +0100)
Use rm -rf to get rid of it.

Makefile.in

index 77e69a697a7d02aa43e046890b816bee22e273dc..6b76b075fa2df2b7ec6c55678a49ecae73857c76 100644 (file)
@@ -222,8 +222,8 @@ maintainer-clean: distclean
        rm -f $(gengetopts_c) $(gengetopts_h) *.tar.bz2 \
                config.h configure \
                config.h.in skencil/*.pdf skencil/*.ps
-       rm -f *_command_list.* *.man man/man1/* web_sync
-
+       rm -f *_command_list.* *.man man/man1/*
+       rm -rf web_sync
 
 install: all man
        mkdir -p $(BINDIR) $(MANDIR)