X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=doc%2FMakefile.in;h=6cf02f82bf05ce10f8a5ece3d93c79d0912cead7;hp=9cb905ebef9b49d3da739413f889fd1403c2066f;hb=3ecae1b0cd75b32bec423fa8cca5626f7790ab42;hpb=dea48e6feb09767860df2ed4b7f1e84fb96c2735

diff --git a/doc/Makefile.in b/doc/Makefile.in
index 9cb905eb..6cf02f82 100644
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -71,6 +71,7 @@ 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@