diff --git a/Scripts/developer_scripts/check_licenses b/Scripts/developer_scripts/check_licenses
index 55a0046fa57..49ef040e048 100755
--- a/Scripts/developer_scripts/check_licenses
+++ b/Scripts/developer_scripts/check_licenses
@@ -64,7 +64,7 @@ if [ ! -f INSTALL ]; then
 fi
  
 licensecheck -r * -c $CHECK_PATTERN | grep -Ev ': L?GPL \(v3 or later\)' | \
-	grep -v "^$DIR/\|^include/CGAL/CORE/\|^include/CGAL/OpenNL/\|^src/CGAL_Core/\|^src/CGAL_ImageIO/\|^config/support/\|test/\|^Packages/\|^developer_scripts\|^doc_tex/\|^winutils/\|^cmake/platforms" | sort >$PREFIX1 || true
+	grep -v "^$DIR/\|^include/CGAL/CORE/\|^include/CGAL/OpenNL/\|^src/CGAL_Core/\|^src/CGAL_ImageIO/\|^config/support/\|test/\|^Packages/\|^developer_scripts/\|^winutils/\|^cmake/platforms" | sort >$PREFIX1 || true
 	
 echo Note that files in the following directories are ignored:
 echo include/CGAL/CORE, include/CGAL/OpenNL,
diff --git a/Scripts/developer_scripts/create_internal_release b/Scripts/developer_scripts/create_internal_release
index 825ba4dd048..de7e3c1b97f 100755
--- a/Scripts/developer_scripts/create_internal_release
+++ b/Scripts/developer_scripts/create_internal_release
@@ -288,51 +288,6 @@ EOF
     chdir '../..' or die;
 }
 
-#-----------------------------------------------------------------------#
-# set the version information in the doc_tex/version.tex                #
-#-----------------------------------------------------------------------#
-
-sub create_version_tex_file()
-{
-    chdir "$RELEASEDIR/$VERSION/doc_tex" or die;
-    open(TEMPFILE, ">tempfile") or die;
-#if VERSION starts with CGAL-, we remove "CGAL-" from version
-#the $newver variable will store the right version
-    if ($result = $VERSION =~ /CGAL-(.*)/){
-        $newver = $1;
-    } else {
-        $newver = $VERSION;
-    }
-
-# And here we also strip the -I- (or -Ic-)... part to get the public version number
-    if ($result = $VERSION =~ /CGAL-(.*)-Ic?-/){
-        $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{$publicver}\n";
-    print TEMPFILE "\\gdef\\cgalinternalversion{$newver}\n";
-
-    my ($sec,$min,$hour,$mday,$mon,$year,$wday,$yday,$isdst) = localtime(time);
-
-    my @months = ( "January", "February", "March", "April",
-                   "May", "June", "July", "August", "September",
-                   "October", "November", "December" );
-
-    print TEMPFILE "\\gdef\\cgalversiondate{$mday $months[$mon] ", 1900 + $year, "}\n";
-
-    close TEMPFILE || die "Error closing temporary file: $!\n";
-    move("tempfile", 'version.tex');
-    chdir '../..' or die;
-}
-
-
 #---------------------------------------------------------------#
 # CreateExampleTestDirs
 #---------------------------------------------------------------#
@@ -656,7 +611,6 @@ sub main(){
   CreateDemoTestDirs();
   CreateExampleTestDirs();
   create_version_file();
-  #create_version_tex_file();
   #make_testscripts();
   make_testscripts_for_cmake();
 
diff --git a/Scripts/developer_scripts/create_new_release b/Scripts/developer_scripts/create_new_release
index bc228e5b6b5..5b2111a5568 100755
--- a/Scripts/developer_scripts/create_new_release
+++ b/Scripts/developer_scripts/create_new_release
@@ -294,7 +294,7 @@ if [ -n "$DO_PUBLIC" ]; then
     mv ${release_name} $public_release_name
 
     cd ${public_release_name}
-    rm -rf bench* Bench* test package_info developer_scripts doc doc_tex winutils include/CGAL/Test include/CGAL/Testsuite/
+    rm -rf bench* Bench* test package_info developer_scripts doc winutils include/CGAL/Test include/CGAL/Testsuite/
     rm -f examples/*/cgal_test* demo/*/cgal_test*
     find . -name .scm-urls -exec rm '{}' '+'
     rm -f .scm-branch
diff --git a/Scripts/developer_scripts/list_package_files_impl.rb b/Scripts/developer_scripts/list_package_files_impl.rb
index f998e7c672e..31efd705d27 100644
--- a/Scripts/developer_scripts/list_package_files_impl.rb
+++ b/Scripts/developer_scripts/list_package_files_impl.rb
@@ -20,8 +20,6 @@ def get_internal_package_files_list(package_dir)
          'dont_submit',
          'maintainer',
          'description.txt',
-         'doc_tex',
-         '.svn'
         ]
                         
   dont_submit_file = package_dir + '/dont_submit'