diff options
Diffstat (limited to 'make_dist')
-rwxr-xr-x | make_dist | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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"); |