Merge commit 'git/master'
[git/git-bigfiles.git] / Documentation / install-webdoc.sh
blob2135a8ee1f4f56a8c799437949ba76d7526164c0
1 #!/bin/sh
3 T="$1"
5 for h in \
6 *.txt *.html \
7 howto/*.txt howto/*.html \
8 technical/*.txt technical/*.html \
9 RelNotes-*.txt *.css
11 if test ! -f "$h"
12 then
13 : did not match
14 elif test -f "$T/$h" &&
15 diff -u -I'Last updated [0-9][0-9]-[A-Z][a-z][a-z]-' "$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"
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
31 h=`expr "$th" : "$strip_leading"'\(.*\)'`
32 case "$h" in
33 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"