diff --git a/doc/draft/update b/doc/draft/update index eaa324a5a0..eebc7372ea 100644 --- a/doc/draft/update +++ b/doc/draft/update @@ -7,14 +7,16 @@ do fi pat=`echo "$i" | sed 's/...txt/??.txt/'` old=`echo $pat 2> /dev/null` - fetch "http://www.ietf.org/internet-drafts/$i" - cvs add "$1" - if test "X$old" != "X$pat" + if fetch "http://www.ietf.org/internet-drafts/$i" then - rm $old - cvs delete $old - else - old= + cvs add "$1" + if test "X$old" != "X$pat" + then + rm $old + cvs delete $old + else + old= + fi + cvs commit -m "new draft" $i $old fi - cvs commit -m "new draft" $i $old done