From d88e2d91c8c43608f61da0e69b816f38f5e0fa4d Mon Sep 17 00:00:00 2001
From: Sylvain Pion <Sylvain.Pion@sophia.inria.fr>
Date: Fri, 14 Jul 2006 07:47:12 +0000
Subject: [PATCH] Change the generated \cgalversion to be the public name, and
 add \cgalinternalversion.

---
 Scripts/developer_scripts/create_internal_release | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/Scripts/developer_scripts/create_internal_release b/Scripts/developer_scripts/create_internal_release
index ecd5411a38a..5933f55b8da 100755
--- a/Scripts/developer_scripts/create_internal_release
+++ b/Scripts/developer_scripts/create_internal_release
@@ -256,12 +256,20 @@ sub create_version_tex_file()
         $newver = $VERSION;
     }
 
+# And here we also strip the -I-... part to get the public version number
+    if ($result = $VERSION =~ /CGAL-(.*)-I-/){
+        $publicver = $1;
+    } else {
+        $publicver = $VERSION;
+    }
+
     print TEMPFILE << 'EOF';
 %% This file is automatically created by create_internal_release.
 %% Do not edit manually.
 
 EOF
-    print TEMPFILE "\\gdef\\cgalversion{$newver}\n";
+    print TEMPFILE "\\gdef\\cgalversion{$publicver}\n";
+    print TEMPFILE "\\gdef\\cgalinternalversion{$newver}\n";
 
     my ($sec,$min,$hour,$mday,$mon,$year,$wday,$yday,$isdst) = localtime(time);