X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=doc%2Freference%2FMakefile.in;fp=doc%2Freference%2FMakefile.in;h=5f56da04f5fce10c0117cf474a404eb4bd237494;hp=dedcc9507dc7c4afda84c404c17fe57a8ef30aa8;hb=956eeb82c513a723e864edefa857133282cf692b;hpb=1a21a1a5d97950126a8df787302286b6cc1a902c

diff --git a/doc/reference/Makefile.in b/doc/reference/Makefile.in
index dedcc950..5f56da04 100644
--- a/doc/reference/Makefile.in
+++ b/doc/reference/Makefile.in
@@ -73,6 +73,7 @@ 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@
@@ -85,6 +86,7 @@ GINSH_LIBS = @GINSH_LIBS@
 LATEX = @LATEX@
 LD = @LD@
 LEX = @LEX@
+LIBGINACCINT = @LIBGINACCINT@
 LIBTOOL = @LIBTOOL@
 LN_S = @LN_S@
 LT_AGE = @LT_AGE@
@@ -167,7 +169,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 \