diff --git a/doc/ChangeLog b/doc/ChangeLog index fbf77345..71a46a03 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -1,3 +1,11 @@ +2003-10-24 Hrvoje Niksic + + * Makefile.in (install.info): Handle the case when only wget.info + is generated from wget.texi. In that case, wget.info-*[0-9] + doesn't match anything and therefore ends up as a bogus value of + FILE in the loop. Fix this by not calling INSTALL_DATA on + nonexistent files. + 2003-10-07 Hrvoje Niksic * wget.texi (HTTP Options): Documented --post-file and diff --git a/doc/Makefile.in b/doc/Makefile.in index 81fe3130..06f22a48 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -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