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