]> www.ginac.de Git - ginac.git/blobdiff - doc/Makefile.in
- Huh, \includegraphics doesn't like dots. Disabled.
[ginac.git] / doc / Makefile.in
index ae3b86c369ba558c3a162ff20511e42ccdd85ca3..79c771fde83fbdedf8a9e6c2632b715c397bc965 100644 (file)
@@ -64,12 +64,14 @@ ARCHIVE_VERSION = @ARCHIVE_VERSION@
 AS = @AS@
 CC = @CC@
 CINT = @CINT@
+CINTSYSDIR = @CINTSYSDIR@
 CXX = @CXX@
 CXXCPP = @CXXCPP@
 DLLTOOL = @DLLTOOL@
 DOXYGEN = @DOXYGEN@
 DVIPS = @DVIPS@
 FIG2DEV = @FIG2DEV@
+GINACCINTDIR = @GINACCINTDIR@
 GINACLIB_BINARY_AGE = @GINACLIB_BINARY_AGE@
 GINACLIB_CPPFLAGS = @GINACLIB_CPPFLAGS@
 GINACLIB_INTERFACE_AGE = @GINACLIB_INTERFACE_AGE@
@@ -82,6 +84,7 @@ GINSH_LIBS = @GINSH_LIBS@
 LATEX = @LATEX@
 LD = @LD@
 LEX = @LEX@
+LIBTERMCAP = @LIBTERMCAP@
 LIBTOOL = @LIBTOOL@
 LN_S = @LN_S@
 LT_AGE = @LT_AGE@
@@ -271,7 +274,7 @@ distdir: $(DISTFILES)
        @for file in $(DISTFILES); do \
          d=$(srcdir); \
          if test -d $$d/$$file; then \
-           cp -pr $$/$$file $(distdir)/$$file; \
+           cp -pr $$d/$$file $(distdir)/$$file; \
          else \
            test -f $(distdir)/$$file \
            || ln $$d/$$file $(distdir)/$$file 2> /dev/null \