1 files changed, 0 insertions, 22 deletions
diff --git a/make_dist b/make_dist
index acbf71e3..020852eb 100755
--- a/make_dist
+++ b/make_dist
@@ -59,7 +59,6 @@ cd($tmpdir);
 # Check versions
 my $cmakeversion = get_version_from_cmake();
 my $code_version = get_version_from_source();
-my $doc_version = get_version_from_manual();
 
 my $version_error = 0;
 if ($version ne $cmakeversion)
@@ -72,11 +71,6 @@ if ($version ne $code_version)
     print "$whoami: QPDF.cc version = $code_version\n";
     $version_error = 1;
 }
-if ($version ne $doc_version)
-{
-    print "$whoami: doc version = $doc_version\n";
-    $version_error = 1;
-}
 if ($version_error)
 {
     die "$whoami: version numbers are not consistent\n";
@@ -157,22 +151,6 @@ sub get_version_from_source
     $code_version;
 }
 
-sub get_version_from_manual
-{
-    my $fh = safe_open("manual/conf.py");
-    my $doc_version = 'unknown';
-    while (<$fh>)
-    {
-        if (m/release = '([^\']+)\'/)
-        {
-            $doc_version = $1;
-            last;
-        }
-    }
-    $fh->close();
-    $doc_version;
-}
-
 sub safe_open
 {
     my $file = shift;