- Fixed hang if no html-docu was generated.

[ginac.git] / doc / reference / Makefile.in

diff --git a/doc/reference/Makefile.in b/doc/reference/Makefile.in
index 3dc30eb99ec1b2a375c307982f847f62a1dc6141..6484c2b863f11516495792d944616d903ac614ec 100644 (file)
--- 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