- changed placement of version number

[ginac.git] / doc / Makefile.in

diff --git a/doc/Makefile.in b/doc/Makefile.in
index 9cb905ebef9b49d3da739413f889fd1403c2066f..6cf02f82bf05ce10f8a5ece3d93c79d0912cead7 100644 (file)
--- 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@