1 files changed, 1 insertions, 3 deletions
diff --git a/make_dist b/make_dist
index d5f11a2e..71e3be55 100755
--- a/make_dist
+++ b/make_dist
@@ -109,9 +109,7 @@ if ($version_error)
     die "$whoami: version numbers are not consistent\n";
 }
 
-run("aclocal -I m4");
-run("autoheader");
-run("autoconf");
+run("./autogen.sh");
 run("./configure --enable-doc-maintenance");
 run("make build_manual");
 run("make distclean");