diff options
Diffstat (limited to 'README-maintainer')
| -rw-r--r-- | README-maintainer | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/README-maintainer b/README-maintainer index 2f52aa68..e4e31862 100644 --- a/README-maintainer +++ b/README-maintainer @@ -228,7 +228,6 @@ OTHER NOTES To construct a source distribution from a pristine checkout, `make_dist` does the following: -./autogen.sh ./configure --enable-doc-maintenance --enable-werror make build_manual make distclean |