X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=configure;fp=configure;h=ecd447e902fabc0edf195a1cdfb2604a329758c7;hp=ca421d097c8ed856e051b9a215d868713f514cd0;hb=6a0b4545189926492f657b201e3ed1b9de1dd897;hpb=a50cca9ebc390b6ba1d2f17f03bd18ebea7fb970

diff --git a/configure b/configure
index ca421d09..ecd447e9 100755
--- a/configure
+++ b/configure
@@ -3236,6 +3236,7 @@ Makefile
 GiNaC.spec
 ginac-config
 ginac/Makefile
+ginac/version.h
 check/Makefile
 ginsh/Makefile
 tools/Makefile
@@ -3384,6 +3385,7 @@ CONFIG_FILES=\${CONFIG_FILES-"Makefile
 GiNaC.spec
 ginac-config
 ginac/Makefile
+ginac/version.h
 check/Makefile
 ginsh/Makefile
 tools/Makefile