diff --git a/doc/draft/update b/doc/draft/update index a7b58257c8..9628b57de8 100644 --- 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"