diff options
| author | Peter Simons <simons@cryp.to> | 2009-12-17 23:43:20 +0100 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2009-12-17 23:51:49 +0100 |
| commit | a7ce66bc6d95f0db6d535c43f6a1bb9f05d75819 (patch) | |
| tree | 089a24ff7c320722086cc1accc4ab879a5373115 /bootstrap.sh | |
| parent | d133a5165f526b730a6e6e5203a89abc0e4750a2 (diff) | |
| download | autoconf-archive-a7ce66bc6d95f0db6d535c43f6a1bb9f05d75819.tar.gz | |
bootstrap.sh, cfg.mk: enabled gnulib's gendocs module
The make target 'web-manual' generates project documentation suitable
for uploading to the web in the directory doc/manual/*.
Diffstat (limited to 'bootstrap.sh')
| -rwxr-xr-x | bootstrap.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bootstrap.sh b/bootstrap.sh index 15875ee..9d2f96d 100755 --- a/bootstrap.sh +++ b/bootstrap.sh @@ -7,7 +7,7 @@ if [ -x "gnulib/gnulib-tool" ]; then else gnulibtool=gnulib-tool fi -$gnulibtool --m4-base build-aux --source-base build-aux --import git-version-gen gitlog-to-changelog gnupload maintainer-makefile announce-gen +$gnulibtool --m4-base build-aux --source-base build-aux --import git-version-gen gitlog-to-changelog gnupload maintainer-makefile announce-gen gendocs sed -i -e 's/^sc_file_system:/disabled_sc_file_system:/' \ -e 's/^sc_GPL_version:/disabled_sc_GPL_version:/' \ |