Documentation / install-webdoc.shon commit Merge branch 'bs/userdiff-php' (9559910)
   1#!/bin/sh
   2
   3T="$1"
   4
   5for h in \
   6        *.txt *.html \
   7        howto/*.txt howto/*.html \
   8        technical/*.txt technical/*.html \
   9        RelNotes-*.txt *.css
  10do
  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"
  23        fi
  24done
  25strip_leading=`echo "$T/" | sed -e 's|.|.|g'`
  26for th in \
  27        "$T"/*.html "$T"/*.txt \
  28        "$T"/howto/*.txt "$T"/howto/*.html \
  29        "$T"/technical/*.txt "$T"/technical/*.html
  30do
  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"
  38done
  39ln -sf git.html "$T/index.html"