update_web_docs: Don't strip leading -r from argument following -r...
authorJoseph Myers <jsm28@cam.ac.uk>
Sat, 17 Mar 2001 23:59:21 +0000 (23:59 +0000)
committerJoseph Myers <jsm28@gcc.gnu.org>
Sat, 17 Mar 2001 23:59:21 +0000 (23:59 +0000)
* 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
maintainer-scripts/update_web_docs

index 1f4cedc83e9dee8bf6954da287492c0b73451ea3..752d70d0e649c3a51d6090f37fda79ae9b1ea925 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 cfaf80f46043bbfeb146d1ec6d1e293451609395..bb67366229a2d2111f45ef5df062f40d3fb4fec2 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