2 # Run this after each non-alpha release, to update the web documentation at
3 # http://www.gnu.org/software/$pkg/manual/
4 # Requirements: everything required to bootstrap your package,
5 # plus these: git, cvs, cvsu, rsync, mktemp
7 version=$(cat .prev-version)
8 pkg=$(sed -n 's/^PACKAGE = \(.*\)/\1/p' Makefile)
9 tmp_branch=web-doc-$version-$$
16 git branch -d $tmp_branch
20 trap 'exit $?' 1 2 13 15
22 # We must build using sources for which --version reports the
23 # just-released version number, not some string like 7.6.18-20761.
24 # That version string propagates into all documentation.
25 git checkout -b $tmp_branch v$version
26 ./bootstrap && ./configure && make && make web-manual
28 tmp=$(mktemp -d --tmpdir=. web-doc-update.XXXXXX) || exit 1
30 && cvs -d $USER@cvs.sv.gnu.org:/webcvs/$pkg co $pkg )
31 rsync -avP doc/manual/ $tmp/$pkg/manual
37 cvsu --types='?'|sed s/..// | xargs --no-run-if-empty -- cvs add -ko