From 7f52714a7200aa5422bd7de330e108490f423e93 Mon Sep 17 00:00:00 2001
From: Daniel Berlin <dberlin@gcc.gnu.org>
Date: Mon, 17 Oct 2005 00:58:48 +0000
Subject: [PATCH] Add svn version

From-SVN: r105484
---
 .../update_web_docs_libstdcxx_svn             | 51 +++++++++++++++++++
 1 file changed, 51 insertions(+)
 create mode 100755 maintainer-scripts/update_web_docs_libstdcxx_svn

diff --git a/maintainer-scripts/update_web_docs_libstdcxx_svn b/maintainer-scripts/update_web_docs_libstdcxx_svn
new file mode 100755
index 00000000000..e9919c504e4
--- /dev/null
+++ b/maintainer-scripts/update_web_docs_libstdcxx_svn
@@ -0,0 +1,51 @@
+#!/bin/sh
+
+
+# "sh update_web_docs_libstdcxx.sh"
+# Checks out a copy of the libstdc++-v3 "inner" documentation and puts
+# it in the onlinedocs area.  For an initial description of "inner"
+# docs, see the thread starting with 
+#     http://gcc.gnu.org/ml/libstdc++/2000-11/msg00475.html
+#
+# Id: update_v3_web_docs.sh,v 1.4 2000/12/25 05:02:14 pedwards Exp
+#####################################################################
+
+SVNROOT=${SVNROOT:-"file:///svn/gcc"}
+GETTHIS='libstdc++-v3/docs/html'
+WWWDIR=/www/gcc/htdocs/onlinedocs/libstdc++
+#WWWDIR=/tmp/fake-onlinedocs-testing
+
+
+## No more changes should be needed.  Ha, right, whatever.
+#####################################################################
+
+
+PATH=/usr/local/bin:$PATH
+export SVNROOT
+
+test -d $WWWDIR || /bin/mkdir $WWWDIR
+test -d $WWWDIR || { echo something is very wrong ; exit 1; }
+
+WORKDIR=/tmp/v3-doc-update.$$
+/bin/rm -rf $WORKDIR
+/bin/mkdir $WORKDIR
+cd $WORKDIR
+
+
+# checkout all the HTML files, get down into an interesting directory
+svn -q export $SVNROOT/trunk/$GETTHIS docs
+cd docs
+rm -f Makefile
+
+# build a compressed copy of the HTML, preserve directory structure
+for file in `find . -name "*.html" -print`; do
+    gzip --best < $file > $file.gz
+done
+
+# copy the tree to the onlinedocs area, preserve directory structure
+#find . -depth -print | cpio -pdv $WWWDIR
+find . -depth -print | cpio -pd $WWWDIR > /dev/null 2>&1
+
+cd /
+/bin/rm -rf $WORKDIR
+