X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=doc%2FMakefile.in;h=480df48e487d6daa9f1c37067adab7f77f3f87b1;hp=4a11c86ad2afd723d04634719f786a65dfbb99a6;hb=ed62b717aa0383e08b4a2642cd923498898e1a18;hpb=a1833c648e70caf0e1fe3fd8b1fe1d1d8e930765

diff --git a/doc/Makefile.in b/doc/Makefile.in
index 4a11c86a..480df48e 100644
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -59,6 +59,8 @@ PRE_UNINSTALL = :
 POST_UNINSTALL = :
 host_alias = @host_alias@
 host_triplet = @host@
+ARCHIVE_AGE = @ARCHIVE_AGE@
+ARCHIVE_VERSION = @ARCHIVE_VERSION@
 AS = @AS@
 CC = @CC@
 CXX = @CXX@