git.oblomov.eu Git - git/blob - Documentation/install-webdoc.sh

   1 #!/bin/sh
   2
   3 T="$1"
   4
   5 for h in \
   6         *.txt *.html \
   7         howto/*.txt howto/*.html \
   8         technical/*.txt technical/*.html \
   9         RelNotes/*.txt *.css
  10 do
  11         if test ! -f "$h"
  12         then
  13                 : did not match
  14         elif test -f "$T/$h" &&
  15                 $DIFF -u -I'^Last updated ' "$T/$h" "$h"
  16         then
  17                 :; # up to date
  18         else
  19                 echo >&2 "# install $h $T/$h"
  20                 rm -f "$T/$h"
  21                 mkdir -p `dirname "$T/$h"`
  22                 cp "$h" "$T/$h"
  23         fi
  24 done
  25 strip_leading=`echo "$T/" | sed -e 's|.|.|g'`
  26 for th in \
  27         "$T"/*.html "$T"/*.txt \
  28         "$T"/howto/*.txt "$T"/howto/*.html \
  29         "$T"/technical/*.txt "$T"/technical/*.html
  30 do
  31         h=`expr "$th" : "$strip_leading"'\(.*\)'`
  32         case "$h" in
  33         RelNotes-*.txt | index.html) continue ;;
  34         esac
  35         test -f "$h" && continue
  36         echo >&2 "# rm -f $th"
  37         rm -f "$th"
  38 done
  39 ln -sf git.html "$T/index.html"