update_web_docs: Don't strip leading -r from argument following -r...

* update_web_docs: Don't strip leading -r from argument following
	-r, or leading -d from argument following -d.  Bug pointed out by
	Matt Kraai.

From-SVN: r40590
This commit is contained in:
Joseph Myers 2001-03-17 23:59:21 +00:00 committed by Joseph Myers
parent 832013cdfa
commit 655e4aeecd
2 changed files with 6 additions and 2 deletions

View file

@ -1,5 +1,9 @@
2001-03-17 Joseph S. Myers <jsm28@cam.ac.uk>
* update_web_docs: Don't strip leading -r from argument following
-r, or leading -d from argument following -d. Bug pointed out by
Matt Kraai.
* update_web_docs: Handle -r and -d options to generate docs for a
release or branch in a subdirectory. Determine names of G77 news
and bugs files and contributors file after updated docs have been

View file

@ -21,7 +21,7 @@ while [ $# -gt 0 ]; do
RELEASE="${1#-r}"
if [ -z "$RELEASE" ]; then
shift
RELEASE="${1#-r}"
RELEASE="$1"
if [ -z "$RELEASE" ]; then
echo "No release specified with -r" >&2
exit 1
@ -36,7 +36,7 @@ while [ $# -gt 0 ]; do
SUBDIR="${1#-d}"
if [ -z "$SUBDIR" ]; then
shift
SUBDIR="${1#-d}"
SUBDIR="$1"
if [ -z "$SUBDIR" ]; then
echo "No subdirectory specified with -d" >&2
exit 1