bin/fileschanged man/man1/fileschanged.1.gz @unexec rm -f %D/man/cat1/fileschanged.1.gz %D/man/cat1/fileschanged.1 %D/man/cat1/fileschanged.1.gz %D/man/cat1/fileschanged.1.gz.gz %D/man/cat1/fileschanged.1.gz.bz2 @unexec install-info --quiet --delete %D/info/fileschanged.info %D/info/dir @exec install-info --quiet %D/info/fileschanged.info %D/info/dir @unexec if [ -f %D/info/dir ]; then if sed -e '1,/Menu:/d' %D/info/dir | grep -q '^[*] '; then true; else rm %D/info/dir; fi; fi share/doc/fileschanged/AUTHORS share/doc/fileschanged/ChangeLog share/doc/fileschanged/INSTALL share/doc/fileschanged/NEWS share/doc/fileschanged/README @dirrm share/doc/fileschanged