5 for h
in *.html
*.txt howto
/*.txt howto
/*.html RelNotes-
*.txt
8 diff -u -I'Last updated [0-9][0-9]-[A-Z][a-z][a-z]-' "$T/$h" "$h"
12 echo >&2 "# install $h $T/$h"
14 mkdir
-p `dirname "$T/$h"`
18 strip_leading
=`echo "$T/" | sed -e 's|.|.|g'`
19 for th
in "$T"/*.html
"$T"/*.txt
"$T"/howto
/*.txt
"$T"/howto
/*.html
21 h
=`expr "$th" : "$strip_leading"'\(.*\)'`
23 index.html
) continue ;;
25 test -f "$h" && continue
26 echo >&2 "# rm -f $th"
29 ln -sf git.html
"$T/index.html"