1997-01-02 02:19:08 -05:00
|
|
|
bin/wget
|
|
|
|
|
etc/wgetrc
|
|
|
|
|
info/wget.info
|
|
|
|
|
info/wget.info-1
|
|
|
|
|
info/wget.info-2
|
1997-02-24 07:32:05 -05:00
|
|
|
info/wget.info-3
|
1997-05-22 03:53:32 -04:00
|
|
|
@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
|
1997-01-02 02:19:08 -05:00
|
|
|
man/man1/wget.1.gz
|
