sync with master

diff --git a/doc/draft/update b/doc/draft/update
index a7b58257c8d5393ffb3dc76c6298d8f5783f9194..9628b57de812548972e0f0717ed9d847ab3d287e 100644 (file)
--- a/doc/draft/update
+++ b/doc/draft/update
@@ -5,14 +5,22 @@ then
        fetch=fetch
 elif type curl >/dev/null 2>&1
 then
-       fetch="curl -O"
+       fetch="curl -L -O"
 else
        exit 1
 fi
 
 for i
 do
-       z=`expr "$i" : 'http://www.ietf.org/internet-drafts/\(.*\)'`
+       z=
+       case $i in
+       http://www.ietf.org/internet-drafts/*)
+               z=`expr "$i" : 'http://www.ietf.org/internet-drafts/\(.*\)'`
+               ;;
+       http://www.ietf.org/id/*)
+               z=`expr "$i" : 'http://www.ietf.org/id/\(.*\)'`
+               ;;
+       esac
        if test -n "$z"
        then
                i="$z"
@@ -38,7 +46,7 @@ do
                        continue;
                fi
        fi
-       if $fetch "http://www.ietf.org/internet-drafts/$i" 
+       if $fetch "http://www.ietf.org/id/$i" 
        then
                git add "$i" 
                if test "X$old" != "X$pat"