From: Richard Kreckel <Richard.Kreckel@uni-mainz.de>
Date: Tue, 16 May 2000 21:38:59 +0000 (+0000)
Subject: - Fixed hang if no html-docu was generated.
X-Git-Tag: release_0-6-1~11
X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=commitdiff_plain;h=c356e894139ff408bfe3f2f1d120cd921f73f0de;ds=sidebyside

- Fixed hang if no html-docu was generated.
---

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