From a5642e680a258928e4fdf76d83a4c3416369e607 Mon Sep 17 00:00:00 2001 From: Junio C Hamano Date: Tue, 13 Feb 2007 15:19:59 -0800 Subject: [PATCH] Update dodoc to point older documentations from the latest. --- dodoc.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/dodoc.sh b/dodoc.sh index d6571ba7c6..a839bdab0b 100755 --- a/dodoc.sh +++ b/dodoc.sh @@ -72,7 +72,10 @@ make WEBDOC_DEST="$DOCREPO/doc-htmlpages" install-webdoc >../:html.log 2>&1 && if test -d $PUBLIC then - make WEBDOC_DEST="$PUBLIC" install-webdoc >>../:html.log 2>&1 + rm -f git.html && + make WEBDOC_DEST="$PUBLIC" ASCIIDOC_EXTRA='-a stalenotes' \ + install-webdoc >>../:html.log 2>&1 && + rm -f git.html else echo "* No public html at $PUBLIC" fi || exit $? -- 2.32.0.93.g670b81a890