gnulib: build-aux/gnu-web-doc-update annotate

annotate build-aux/gnu-web-doc-update @ 17363:5a51fb7777a9

sys_select, sys_time: port 2013-01-30 Solaris 2.6 fix to Cygwin Problem reported by Marco Atzeri in <http://lists.gnu.org/archive/html/bug-gnulib/2013-03/msg00000.html>. * lib/sys_select.in.h [HAVE_SYS_SELECT_H && _CYGWIN_SYS_TIME_H]: Simply delegate to the system <sys/select.h> in this case too. Also, pay attention to _GL_SYS_SELECT_H_REDIRECT_FROM_SYS_TIME_H only if OSF/1, since otherwise Cygwin breaks, and it doesn't seem to be needed on Solaris either. * lib/sys_time.in.h [_CYGWIN_SYS_TIME_H]: Simply delgate to the system <sys/time.h> in this case.

author	Paul Eggert <eggert@cs.ucla.edu>
date	Tue, 19 Mar 2013 09:08:47 -0700
parents	e542fd46ad6f
children	344018b6e5d7

rev	line source
12087 aa533c56d59a gnu-web-doc-update: New module. Jim Meyering <meyering@redhat.com> parents: diff changeset	1 #!/bin/sh
aa533c56d59a gnu-web-doc-update: New module. Jim Meyering <meyering@redhat.com> parents: diff changeset	2 # Run this after each non-alpha release, to update the web documentation at
aa533c56d59a gnu-web-doc-update: New module. Jim Meyering <meyering@redhat.com> parents: diff changeset	3 # http://www.gnu.org/software/$pkg/manual/
12088 2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	4
17207 e3ebfa7bb215 gnu-web-doc-update: improve --help Akim Demaille <akim@lrde.epita.fr> parents: 17015 diff changeset	5 VERSION=2012-12-16.14; # UTC
12088 2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	6
17249 e542fd46ad6f maint: update all copyright year number ranges Eric Blake <eblake@redhat.com> parents: 17208 diff changeset	7 # Copyright (C) 2009-2013 Free Software Foundation, Inc.
12088 2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	8
2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	9 # This program is free software: you can redistribute it and/or modify
2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	10 # it under the terms of the GNU General Public License as published by
2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	11 # the Free Software Foundation, either version 3 of the License, or
2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	12 # (at your option) any later version.
2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	13
2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	14 # This program is distributed in the hope that it will be useful,
2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	15 # but WITHOUT ANY WARRANTY; without even the implied warranty of
2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	16 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	17 # GNU General Public License for more details.
2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	18
2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	19 # You should have received a copy of the GNU General Public License
2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	20 # along with this program. If not, see <http://www.gnu.org/licenses/>.
2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	21
16906 e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	22 ME=$(basename "$0")
12088 2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	23 warn() { printf '%s: %s\n' "$ME" "$*" >&2; }
2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	24 die() { warn "$*"; exit 1; }
2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	25
16906 e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	26 help()
12088 2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	27 {
16906 e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	28 cat <<EOF
12088 2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	29 Usage: $ME
2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	30
17015 5b5eb84f0f79 gnu-web-doc-update: fix --help Akim Demaille <akim@lrde.epita.fr> parents: 16999 diff changeset	31 Run this script from top_srcdir (no arguments) after each non-alpha
5b5eb84f0f79 gnu-web-doc-update: fix --help Akim Demaille <akim@lrde.epita.fr> parents: 16999 diff changeset	32 release, to update the web documentation at
5b5eb84f0f79 gnu-web-doc-update: fix --help Akim Demaille <akim@lrde.epita.fr> parents: 16999 diff changeset	33 http://www.gnu.org/software/\$pkg/manual/
12088 2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	34
17207 e3ebfa7bb215 gnu-web-doc-update: improve --help Akim Demaille <akim@lrde.epita.fr> parents: 17015 diff changeset	35 This script assumes you're using git for revision control, and
e3ebfa7bb215 gnu-web-doc-update: improve --help Akim Demaille <akim@lrde.epita.fr> parents: 17015 diff changeset	36 requires a .prev-version file as well as a Makefile, from which it
e3ebfa7bb215 gnu-web-doc-update: improve --help Akim Demaille <akim@lrde.epita.fr> parents: 17015 diff changeset	37 extracts the version number and package name, respectively. Also, it
e3ebfa7bb215 gnu-web-doc-update: improve --help Akim Demaille <akim@lrde.epita.fr> parents: 17015 diff changeset	38 assumes all documentation is in the doc/ sub-directory.
e3ebfa7bb215 gnu-web-doc-update: improve --help Akim Demaille <akim@lrde.epita.fr> parents: 17015 diff changeset	39
12088 2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	40 Options:
16906 e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	41 -C, --builddir=DIR location of (configured) Makefile (default: .)
17208 008ba4eb886e gnu-web-doc-update: add all the new files, even in new directories Akim Demaille <akim@lrde.epita.fr> parents: 17207 diff changeset	42 -n, --dry-run don't actually commit anything
16906 e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	43 --help print this help, then exit
e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	44 --version print version number, then exit
12088 2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	45
2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	46 Report bugs and patches to <bug-gnulib@gnu.org>.
2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	47 EOF
16906 e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	48 exit
e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	49 }
12088 2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	50
16906 e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	51 version()
e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	52 {
e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	53 year=$(echo "$VERSION" \| sed 's/[^0-9].*//')
e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	54 cat <<EOF
12088 2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	55 $ME $VERSION
2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	56 Copyright (C) $year Free Software Foundation, Inc,
2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	57 License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	58 This is free software: you are free to change and redistribute it.
2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	59 There is NO WARRANTY, to the extent permitted by law.
2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	60 EOF
16906 e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	61 exit
12088 2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	62 }
2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	63
16998 df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	64 # find_tool ENVVAR NAMES...
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	65 # -------------------------
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	66 # Search for a required program. Use the value of ENVVAR, if set,
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	67 # otherwise find the first of the NAMES that can be run (i.e.,
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	68 # supports --version). If found, set ENVVAR to the program name,
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	69 # die otherwise.
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	70 #
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	71 # FIXME: code duplication, see also bootstrap.
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	72 find_tool ()
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	73 {
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	74 find_tool_envvar=$1
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	75 shift
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	76 find_tool_names=$@
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	77 eval "find_tool_res=\$$find_tool_envvar"
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	78 if test x"$find_tool_res" = x; then
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	79 for i
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	80 do
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	81 if ($i --version </dev/null) >/dev/null 2>&1; then
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	82 find_tool_res=$i
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	83 break
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	84 fi
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	85 done
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	86 else
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	87 find_tool_error_prefix="\$$find_tool_envvar: "
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	88 fi
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	89 test x"$find_tool_res" != x \
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	90 \|\| die "one of these is required: $find_tool_names"
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	91 ($find_tool_res --version </dev/null) >/dev/null 2>&1 \
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	92 \|\| die "${find_tool_error_prefix}cannot run $find_tool_res --version"
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	93 eval "$find_tool_envvar=\$find_tool_res"
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	94 eval "export $find_tool_envvar"
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	95 }
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	96
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	97 ## ------ ##
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	98 ## Main. ##
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	99 ## ------ ##
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	100
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	101 # Requirements: everything required to bootstrap your package, plus
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	102 # these.
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	103 find_tool CVS cvs
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	104 find_tool GIT git
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	105 find_tool RSYNC rsync
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	106 find_tool XARGS gxargs xargs
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	107
16906 e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	108 builddir=.
17208 008ba4eb886e gnu-web-doc-update: add all the new files, even in new directories Akim Demaille <akim@lrde.epita.fr> parents: 17207 diff changeset	109 dryrun=
16906 e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	110 while test $# != 0
e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	111 do
e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	112 # Handle --option=value by splitting apart and putting back on argv.
e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	113 case $1 in
e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	114 --=)
e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	115 opt=$(echo "$1" \| sed -e 's/=.*//')
e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	116 val=$(echo "$1" \| sed -e 's/[^=]*=//')
e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	117 shift
e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	118 set dummy "$opt" "$val" ${1+"$@"}; shift
e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	119 ;;
e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	120 esac
e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	121
e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	122 case $1 in
e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	123 --help\|--version) ${1#--};;
e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	124 -C\|--builddir) shift; builddir=$1; shift ;;
17208 008ba4eb886e gnu-web-doc-update: add all the new files, even in new directories Akim Demaille <akim@lrde.epita.fr> parents: 17207 diff changeset	125 -n\|--dry-run) dryrun=echo; shift;;
16906 e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	126 --*) die "unrecognized option: $1";;
e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	127 *) break;;
e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	128 esac
e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	129 done
e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	130
e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	131 test $# = 0 \
16999 7f159c35dd5c gnu-web-doc-update: fix error messages Akim Demaille <akim@lrde.epita.fr> parents: 16998 diff changeset	132 \|\| die "too many arguments"
12088 2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	133
2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	134 prev=.prev-version
16999 7f159c35dd5c gnu-web-doc-update: fix error messages Akim Demaille <akim@lrde.epita.fr> parents: 16998 diff changeset	135 version=$(cat $prev) \|\| die "no $prev file?"
16906 e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	136 pkg=$(sed -n 's/^PACKAGE = $.*$/\1/p' $builddir/Makefile) \
16999 7f159c35dd5c gnu-web-doc-update: fix error messages Akim Demaille <akim@lrde.epita.fr> parents: 16998 diff changeset	137 \|\| die "no Makefile?"
12087 aa533c56d59a gnu-web-doc-update: New module. Jim Meyering <meyering@redhat.com> parents: diff changeset	138 tmp_branch=web-doc-$version-$$
16998 df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	139 current_branch=$($GIT branch \| sed -ne '/^\* /{s///;p;q;}')
12087 aa533c56d59a gnu-web-doc-update: New module. Jim Meyering <meyering@redhat.com> parents: diff changeset	140
aa533c56d59a gnu-web-doc-update: New module. Jim Meyering <meyering@redhat.com> parents: diff changeset	141 cleanup()
aa533c56d59a gnu-web-doc-update: New module. Jim Meyering <meyering@redhat.com> parents: diff changeset	142 {
16906 e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	143 __st=$?
17208 008ba4eb886e gnu-web-doc-update: add all the new files, even in new directories Akim Demaille <akim@lrde.epita.fr> parents: 17207 diff changeset	144 $dryrun rm -rf "$tmp"
16998 df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	145 $GIT checkout "$current_branch"
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	146 $GIT submodule update --recursive
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	147 $GIT branch -d $tmp_branch
12087 aa533c56d59a gnu-web-doc-update: New module. Jim Meyering <meyering@redhat.com> parents: diff changeset	148 exit $__st
aa533c56d59a gnu-web-doc-update: New module. Jim Meyering <meyering@redhat.com> parents: diff changeset	149 }
aa533c56d59a gnu-web-doc-update: New module. Jim Meyering <meyering@redhat.com> parents: diff changeset	150 trap cleanup 0
aa533c56d59a gnu-web-doc-update: New module. Jim Meyering <meyering@redhat.com> parents: diff changeset	151 trap 'exit $?' 1 2 13 15
aa533c56d59a gnu-web-doc-update: New module. Jim Meyering <meyering@redhat.com> parents: diff changeset	152
aa533c56d59a gnu-web-doc-update: New module. Jim Meyering <meyering@redhat.com> parents: diff changeset	153 # We must build using sources for which --version reports the
aa533c56d59a gnu-web-doc-update: New module. Jim Meyering <meyering@redhat.com> parents: diff changeset	154 # just-released version number, not some string like 7.6.18-20761.
aa533c56d59a gnu-web-doc-update: New module. Jim Meyering <meyering@redhat.com> parents: diff changeset	155 # That version string propagates into all documentation.
16906 e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	156 set -e
16998 df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	157 $GIT checkout -b $tmp_branch v$version
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	158 $GIT submodule update --recursive
16906 e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	159 ./bootstrap
e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	160 srcdir=$(pwd)
e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	161 cd "$builddir"
e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	162 ./config.status --recheck
e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	163 ./config.status
e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	164 make
e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	165 make web-manual
e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	166 cd "$srcdir"
e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	167 set +e
12087 aa533c56d59a gnu-web-doc-update: New module. Jim Meyering <meyering@redhat.com> parents: diff changeset	168
16906 e055c477da04 gnu-web-doc-update: VPATH builds Akim Demaille <akim@lrde.epita.fr> parents: 16201 diff changeset	169 tmp=$(mktemp -d web-doc-update.XXXXXX) \|\| exit 1
12087 aa533c56d59a gnu-web-doc-update: New module. Jim Meyering <meyering@redhat.com> parents: diff changeset	170 ( cd $tmp \
16998 df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	171 && $CVS -d $USER@cvs.sv.gnu.org:/webcvs/$pkg co $pkg )
df184134789b gnu-web-doc-update: check the requirements. Akim Demaille <akim@lrde.epita.fr> parents: 16906 diff changeset	172 $RSYNC -avP "$builddir"/doc/manual/ $tmp/$pkg/manual
12087 aa533c56d59a gnu-web-doc-update: New module. Jim Meyering <meyering@redhat.com> parents: diff changeset	173
aa533c56d59a gnu-web-doc-update: New module. Jim Meyering <meyering@redhat.com> parents: diff changeset	174 (
aa533c56d59a gnu-web-doc-update: New module. Jim Meyering <meyering@redhat.com> parents: diff changeset	175 cd $tmp/$pkg/manual
aa533c56d59a gnu-web-doc-update: New module. Jim Meyering <meyering@redhat.com> parents: diff changeset	176
17208 008ba4eb886e gnu-web-doc-update: add all the new files, even in new directories Akim Demaille <akim@lrde.epita.fr> parents: 17207 diff changeset	177 # Add all the files. This is simpler than trying to add only the
008ba4eb886e gnu-web-doc-update: add all the new files, even in new directories Akim Demaille <akim@lrde.epita.fr> parents: 17207 diff changeset	178 # new ones because of new directories: it would require iterating on
008ba4eb886e gnu-web-doc-update: add all the new files, even in new directories Akim Demaille <akim@lrde.epita.fr> parents: 17207 diff changeset	179 # adding the outer directories, and then their contents.
008ba4eb886e gnu-web-doc-update: add all the new files, even in new directories Akim Demaille <akim@lrde.epita.fr> parents: 17207 diff changeset	180 #
008ba4eb886e gnu-web-doc-update: add all the new files, even in new directories Akim Demaille <akim@lrde.epita.fr> parents: 17207 diff changeset	181 # find guarantees that we add outer directories first.
008ba4eb886e gnu-web-doc-update: add all the new files, even in new directories Akim Demaille <akim@lrde.epita.fr> parents: 17207 diff changeset	182 find . -name CVS -prune -o -print \
008ba4eb886e gnu-web-doc-update: add all the new files, even in new directories Akim Demaille <akim@lrde.epita.fr> parents: 17207 diff changeset	183 \| $XARGS --no-run-if-empty -- $dryrun $CVS add -ko
12087 aa533c56d59a gnu-web-doc-update: New module. Jim Meyering <meyering@redhat.com> parents: diff changeset	184
17208 008ba4eb886e gnu-web-doc-update: add all the new files, even in new directories Akim Demaille <akim@lrde.epita.fr> parents: 17207 diff changeset	185 $dryrun $CVS ci -m $version
12087 aa533c56d59a gnu-web-doc-update: New module. Jim Meyering <meyering@redhat.com> parents: diff changeset	186 )
12088 2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	187
2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	188 # Local variables:
2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	189 # eval: (add-hook 'write-file-hooks 'time-stamp)
2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	190 # time-stamp-start: "VERSION="
2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	191 # time-stamp-format: "%:y-%02m-%02d.%02H"
2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	192 # time-stamp-time-zone: "UTC"
2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	193 # time-stamp-end: "; # UTC"
2fb195fbc006 gnu-web-doc-update: add standard options Jim Meyering <meyering@redhat.com> parents: 12087 diff changeset	194 # End:

Mercurial > gnulib

annotate build-aux/gnu-web-doc-update @ 17363:5a51fb7777a9