diff options
-rw-r--r-- | README.maintainer | 4 | ||||
-rwxr-xr-x | autogen.sh | 4 | ||||
-rwxr-xr-x | make_dist | 4 |
3 files changed, 6 insertions, 6 deletions
diff --git a/README.maintainer b/README.maintainer index 1ff7d501..019a41d4 100644 --- a/README.maintainer +++ b/README.maintainer @@ -26,9 +26,7 @@ Release Reminders * To construct a source distribution from a pristine checkout, make_dist does the following: - aclocal -I m4 - autoheader - autoconf + ./autogen.sh ./configure --enable-doc-maintenance make build_manual make distclean diff --git a/autogen.sh b/autogen.sh new file mode 100755 index 00000000..f6a3afbd --- /dev/null +++ b/autogen.sh @@ -0,0 +1,4 @@ +#!/bin/sh +aclocal -I m4 +autoheader +autoconf @@ -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"); |