diff options
-rw-r--r-- | bootstrap.conf | 2 | ||||
-rwxr-xr-x | gnu-web-doc-update | 40 |
2 files changed, 1 insertions, 41 deletions
diff --git a/bootstrap.conf b/bootstrap.conf index f4e897401..e523273fc 100644 --- a/bootstrap.conf +++ b/bootstrap.conf @@ -96,7 +96,6 @@ gnulib_modules=" ftello ftruncate fts - gendocs getdate getgroups gethrxtime @@ -114,6 +113,7 @@ gnulib_modules=" git-version-gen gitlog-to-changelog gnu-make + gnu-web-doc-update gnumakefile gnupload group-member diff --git a/gnu-web-doc-update b/gnu-web-doc-update deleted file mode 100755 index 41e989add..000000000 --- a/gnu-web-doc-update +++ /dev/null @@ -1,40 +0,0 @@ -#!/bin/sh -# Run this after each non-alpha release, to update the web documentation at -# http://www.gnu.org/software/$pkg/manual/ -# Requirements: everything required to bootstrap your package, -# plus these: git, cvs, cvsu, rsync, mktemp - -version=$(cat .prev-version) -pkg=$(sed -n 's/^PACKAGE = \(.*\)/\1/p' Makefile) -tmp_branch=web-doc-$version-$$ - -cleanup() -{ - __st=$?; - rm -rf "$tmp" - git checkout master - git branch -d $tmp_branch - exit $__st -} -trap cleanup 0 -trap 'exit $?' 1 2 13 15 - -# We must build using sources for which --version reports the -# just-released version number, not some string like 7.6.18-20761. -# That version string propagates into all documentation. -git checkout -b $tmp_branch v$version -./bootstrap && ./configure && make && make web-manual - -tmp=$(mktemp -d --tmpdir=. web-doc-update.XXXXXX) || exit 1 -( cd $tmp \ - && cvs -d $USER@cvs.sv.gnu.org:/webcvs/$pkg co $pkg ) -rsync -avP doc/manual/ $tmp/$pkg/manual - -( - cd $tmp/$pkg/manual - - # Add any new files: - cvsu --types='?'|sed s/..// | xargs --no-run-if-empty -- cvs add -ko - - cvs ci -m $version -) |