a tool for fetching new drafts

diff --git a/doc/draft/update b/doc/draft/update
new file mode 100644 (file)
index 0000000..eaa324a
--- /dev/null
+++ b/doc/draft/update
@@ -0,0 +1,20 @@
+#!/bin/sh
+for i
+do
+       if test -f "$i"
+       then
+               continue
+       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"
+       then
+               rm $old
+               cvs delete $old
+       else
+               old=
+       fi
+       cvs commit -m "new draft" $i $old
+done