From e6fc2346c17b9a4ee274d509429042eec9c14db5 Mon Sep 17 00:00:00 2001 From: Junio C Hamano Date: Thu, 25 Aug 2005 00:28:18 -0700 Subject: Link howto documents from the main git.txt documentation. Signed-off-by: Junio C Hamano --- Documentation/install-webdoc.sh | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100755 Documentation/install-webdoc.sh (limited to 'Documentation/install-webdoc.sh') diff --git a/Documentation/install-webdoc.sh b/Documentation/install-webdoc.sh new file mode 100755 index 0000000000..1f534f1e77 --- /dev/null +++ b/Documentation/install-webdoc.sh @@ -0,0 +1,25 @@ +#!/bin/sh + +T="$1" + +for h in *.html howto/*.txt +do + diff -u "$T/$h" "$h" || { + echo >&2 "# install $h $T/$h" + rm -f "$T/$h" + mkdir -p `dirname "$T/$h"` + cp "$h" "$T/$h" + } +done +strip_leading=`echo "$T/" | sed -e 's|.|.|g'` +for th in "$T"/*.html "$T"/howto/*.txt +do + h=`expr "$th" : "$strip_leading"'\(.*\)'` + case "$h" in + index.html) continue ;; + esac + test -f "$h" && continue + echo >&2 "# rm -f $th" + rm -f "$th" +done +ln -sf git.html "$T/index.html" -- cgit v1.2.1