From c356e894139ff408bfe3f2f1d120cd921f73f0de Mon Sep 17 00:00:00 2001 From: Richard Kreckel Date: Tue, 16 May 2000 21:38:59 +0000 Subject: [PATCH] - Fixed hang if no html-docu was generated. --- doc/reference/Makefile.am | 4 ++-- doc/reference/Makefile.in | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/doc/reference/Makefile.am b/doc/reference/Makefile.am index 000c5ee1..a0cdc55b 100644 --- a/doc/reference/Makefile.am +++ b/doc/reference/Makefile.am @@ -57,11 +57,11 @@ install-data-local: echo " $(INSTALL_DATA) $(srcdir)/doxygen.css $(DESTDIR)$(ginacreferencedir)/doxygen.css"; \ $(INSTALL_DATA) $(srcdir)/doxygen.css $(DESTDIR)$(ginacreferencedir)/doxygen.css; \ fi - @for p in `echo $(srcdir)/*.html | sed 's,[^ ]*/,,g'`; do \ + @for p in `echo $(srcdir)/*.html | sed -e 's,[^ ]*/,,g' -e 's,\*\.html,,'`; do \ echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginacreferencedir)/$$p"; \ $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginacreferencedir)/$$p; \ done - @for p in `echo $(srcdir)/*.gif | sed 's,[^ ]*/,,g'`; do \ + @for p in `echo $(srcdir)/*.gif | sed -e 's,[^ ]*/,,g' -e 's,\*\.gif,'`; do \ echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginacreferencedir)/$$p"; \ $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginacreferencedir)/$$p; \ done diff --git a/doc/reference/Makefile.in b/doc/reference/Makefile.in index 3dc30eb9..6484c2b8 100644 --- a/doc/reference/Makefile.in +++ b/doc/reference/Makefile.in @@ -288,11 +288,11 @@ install-data-local: echo " $(INSTALL_DATA) $(srcdir)/doxygen.css $(DESTDIR)$(ginacreferencedir)/doxygen.css"; \ $(INSTALL_DATA) $(srcdir)/doxygen.css $(DESTDIR)$(ginacreferencedir)/doxygen.css; \ fi - @for p in `echo $(srcdir)/*.html | sed 's,[^ ]*/,,g'`; do \ + @for p in `echo $(srcdir)/*.html | sed -e 's,[^ ]*/,,g' -e 's,\*\.html,,'`; do \ echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginacreferencedir)/$$p"; \ $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginacreferencedir)/$$p; \ done - @for p in `echo $(srcdir)/*.gif | sed 's,[^ ]*/,,g'`; do \ + @for p in `echo $(srcdir)/*.gif | sed -e 's,[^ ]*/,,g' -e 's,\*\.gif,'`; do \ echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginacreferencedir)/$$p"; \ $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginacreferencedir)/$$p; \ done -- 2.44.0