diff options
Diffstat (limited to 'make_dist')
-rwxr-xr-x | make_dist | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -107,7 +107,6 @@ if ($version_error) die "$whoami: version numbers are not consistent\n"; } -run("./autogen.sh"); run("./configure --enable-doc-maintenance --enable-werror"); run("make -j8 build_manual"); run("make distclean"); |