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