From 655e4aeecda020effc7909bffeb0f0f920b50101 Mon Sep 17 00:00:00 2001 From: Joseph Myers Date: Sat, 17 Mar 2001 23:59:21 +0000 Subject: [PATCH] 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 --- maintainer-scripts/ChangeLog | 4 ++++ maintainer-scripts/update_web_docs | 4 ++-- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog index 1f4cedc83e9..752d70d0e64 100644 --- a/maintainer-scripts/ChangeLog +++ b/maintainer-scripts/ChangeLog @@ -1,5 +1,9 @@ 2001-03-17 Joseph S. Myers + * 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 diff --git a/maintainer-scripts/update_web_docs b/maintainer-scripts/update_web_docs index cfaf80f4604..bb67366229a 100755 --- a/maintainer-scripts/update_web_docs +++ b/maintainer-scripts/update_web_docs @@ -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 -- 2.30.2