1 files changed, 1 insertions, 0 deletions
diff --git a/make_dist b/make_dist
index 5ea2c646..959adb96 100755
--- a/make_dist
+++ b/make_dist
@@ -110,6 +110,7 @@ if ($version_error)
 }
 
 run("autoconf");
+run("autoheader");
 run("./configure --enable-doc-maintenance");
 run("make build_manual");
 run("make distclean");