X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=configure;h=ecd447e902fabc0edf195a1cdfb2604a329758c7;hp=ca421d097c8ed856e051b9a215d868713f514cd0;hb=b6415364be14b7f3129ffe3d54e7c3c8bc74ed3c;hpb=61434b009f39c40ea85ae7bb4ec14d8d203e2a85

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