diff options
Diffstat (limited to 'make_dist')
-rwxr-xr-x | make_dist | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -110,6 +110,7 @@ if ($version_error) } run("autoconf"); +run("autoheader"); run("./configure --enable-doc-maintenance"); run("make build_manual"); run("make distclean"); |