maint: move gnu-web-doc-update script to gnulib

* bootstrap.conf (gnulib_modules): Add gnu-web-doc-update.
Remove gendocs, since gnu-web-doc-update depends on it.
* gnu-web-doc-update: Remove file, now that we get it from gnulib.

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
-)