run install-info --delete *before* removing the info files

This commit is contained in:
niklas 1998-01-29 15:44:00 +00:00
parent 76463aa481
commit e53a26696c

View File

@ -1,10 +1,10 @@
bin/wget
etc/wgetrc
@unexec install-info --delete %D/info/wget.info %D/info/dir
info/wget.info
info/wget.info-1
info/wget.info-2
info/wget.info-3
@unexec install-info --delete %D/info/wget.info %D/info/dir
@exec [ -f %D/info/dir ] || sed -ne '1,/Menu:/p' /usr/share/info/dir > %D/info/dir
@exec install-info %D/info/wget.info %D/info/dir
man/man1/wget.1