- Fixed hang if no html-docu was generated.
authorRichard Kreckel <Richard.Kreckel@uni-mainz.de>
Tue, 16 May 2000 21:38:59 +0000 (21:38 +0000)
committerRichard Kreckel <Richard.Kreckel@uni-mainz.de>
Tue, 16 May 2000 21:38:59 +0000 (21:38 +0000)
doc/reference/Makefile.am
doc/reference/Makefile.in

index 000c5ee1f1c4f0a2b02ad01ff4c6c8195fad2985..a0cdc55b9dd16e5930ede34845d038a4676f954d 100644 (file)
@@ -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
index 3dc30eb99ec1b2a375c307982f847f62a1dc6141..6484c2b863f11516495792d944616d903ac614ec 100644 (file)
@@ -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