Move setup_diff_pager to libgit.a
[git/jnareb-git.git] / Documentation / install-webdoc.sh
blob76d69a907b48a961906e0b85c59a75e9c0c8986d
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 ' "$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 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"