1 files changed, 0 insertions, 1 deletions
diff --git a/make_dist b/make_dist
index 9084bdb1..e872d408 100755
--- a/make_dist
+++ b/make_dist
@@ -107,7 +107,6 @@ if ($version_error)
     die "$whoami: version numbers are not consistent\n";
 }
 
-run("./autogen.sh");
 run("./configure --enable-doc-maintenance --enable-werror");
 run("make -j8 build_manual");
 run("make distclean");