github-repos/wget
1
0
Fork 0
mirror of https://github.com/mirror/wget.git synced 2026-08-22 19:03:27 +08:00
Code Issues Packages Projects Releases Wiki Activity

[svn] Handle the case when only a single wget.info file is generated.

Browse Source
This commit is contained in:
hniksic
2003-10-23 15:52:17 -07:00
parent 9e4443571f
commit a84e550e93
2 changed files with 12 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
doc/Makefile.in
View File

@@ -112,11 +112,13 @@ install.info: wget.info
$(top_srcdir)/mkinstalldirs $(DESTDIR)$(infodir)
-if test -f wget.info; then \
for file in wget.info wget.info-*[0-9]; do \
$(INSTALL_DATA) $$file $(DESTDIR)$(infodir)/$$file ; \
test -f "$$file" && \
$(INSTALL_DATA) "$$file" "$(DESTDIR)$(infodir)/$$file" ; \
done; \
else \
for file in $(srcdir)/wget.info $(srcdir)/wget.info-*[0-9]; do \
$(INSTALL_DATA) $$file $(DESTDIR)$(infodir)/`basename $$file` ; \
test -f "$$file" && \
$(INSTALL_DATA) "$$file" "$(DESTDIR)$(infodir)/`basename $$file`" ; \
done; \
fi