]> www.ginac.de Git - ginac.git/blobdiff - doc/reference/Makefile.in
- Run automake again on squark, as we had agreed earlier.
[ginac.git] / doc / reference / Makefile.in
index 3aa35437a5e8dee7d737493e4996bb2a414180fe..0931f3e08f2ea0b3c78f4f702289f09dc716797b 100644 (file)
@@ -71,14 +71,14 @@ DOXYGEN = @DOXYGEN@
 DVIPS = @DVIPS@
 FIG2DEV = @FIG2DEV@
 GINACLIB_BINARY_AGE = @GINACLIB_BINARY_AGE@
+GINACLIB_CPPFLAGS = @GINACLIB_CPPFLAGS@
 GINACLIB_INTERFACE_AGE = @GINACLIB_INTERFACE_AGE@
+GINACLIB_LIBS = @GINACLIB_LIBS@
 GINACLIB_MAJOR_VERSION = @GINACLIB_MAJOR_VERSION@
 GINACLIB_MICRO_VERSION = @GINACLIB_MICRO_VERSION@
 GINACLIB_MINOR_VERSION = @GINACLIB_MINOR_VERSION@
 GINACLIB_VERSION = @GINACLIB_VERSION@
 GINSH_LIBS = @GINSH_LIBS@
-JADE = @JADE@
-JADETEX = @JADETEX@
 LATEX = @LATEX@
 LD = @LD@
 LEX = @LEX@
@@ -103,7 +103,6 @@ YACC = @YACC@
 ginacdocdir = $(datadir)/doc/GiNaC
 ginacreferencedir = $(ginacdocdir)/reference
 ginacreference_DATA = @REFERENCE_TARGETS@
-EXTRA_DATA = index.html reference.ps
 
 CLEANFILES = *.html *.gif doxygen.css *.ps latex/*
 EXTRA_DIST = DoxyfileHTML DoxyfileTEX Doxyfooter
@@ -278,14 +277,21 @@ reference.ps: latex latex/reference.ps
        cp ${srcdir}/latex/reference.ps reference.ps
 
 install-data-local:
-       $(INSTALL_DATA) $(srcdir)/doxygen.css $(DESTDIR)$(ginacreferencedir)/doxygen.css
+       @if [ -f $(srcdir)/doxygen.css ]; then \
+         echo " $(INSTALL_DATA) $(srcdir)/doxygen.css $(DESTDIR)$(ginacreferencedir)/doxygen.css"; \
+         $(INSTALL_DATA) $(srcdir)/doxygen.css $(DESTDIR)$(ginacreferencedir)/doxygen.css; \
+       fi
        @for p in *.html; do \
-         echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginacreferencedir)/$$p"; \
-         $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginacreferencedir)/$$p; \
+         if [ -f $(srcdir)/$$p ]; then \
+           echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginacreferencedir)/$$p"; \
+           $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginacreferencedir)/$$p; \
+         fi; \
        done
        @for p in *.gif; do \
-         echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginacreferencedir)/$$p"; \
-         $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginacreferencedir)/$$p; \
+         if [ -f $(srcdir)/$$p ]; then \
+           echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginacreferencedir)/$$p"; \
+           $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginacreferencedir)/$$p; \
+         fi; \
        done
 
 uninstall-local: