OSDN Git Service

* update_web_docs: Don't strip leading -r from argument following
authorjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 17 Mar 2001 23:59:21 +0000 (23:59 +0000)
committerjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 17 Mar 2001 23:59:21 +0000 (23:59 +0000)
-r, or leading -d from argument following -d.  Bug pointed out by
Matt Kraai.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@40590 138bc75d-0d04-0410-961f-82ee72b054a4

maintainer-scripts/ChangeLog
maintainer-scripts/update_web_docs

index 1f4cedc..752d70d 100644 (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
index cfaf80f..bb67366 100755 (executable)
@@ -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