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