summaryrefslogtreecommitdiff
path: root/sandbox/infrastructure/docutils-update.local
diff options
context:
space:
mode:
authorgrubert <grubert@929543f6-e4f2-0310-98a6-ba3bd3dd1d04>2011-12-27 21:13:50 +0000
committergrubert <grubert@929543f6-e4f2-0310-98a6-ba3bd3dd1d04>2011-12-27 21:13:50 +0000
commit9234f9daa07d4fc506bff3d20656cab6956d547c (patch)
tree51f35e11d789f8b5ac96b6ab22d1d93916f4ade3 /sandbox/infrastructure/docutils-update.local
parentb019aadcc9b5b33d48d2390ea208604b5b753291 (diff)
downloaddocutils-9234f9daa07d4fc506bff3d20656cab6956d547c.tar.gz
use htmlfiles.lst in docutils-update.local
git-svn-id: http://svn.code.sf.net/p/docutils/code/trunk@7282 929543f6-e4f2-0310-98a6-ba3bd3dd1d04
Diffstat (limited to 'sandbox/infrastructure/docutils-update.local')
-rwxr-xr-xsandbox/infrastructure/docutils-update.local17
1 files changed, 17 insertions, 0 deletions
diff --git a/sandbox/infrastructure/docutils-update.local b/sandbox/infrastructure/docutils-update.local
index 3a55a36cb..1f984f1fa 100755
--- a/sandbox/infrastructure/docutils-update.local
+++ b/sandbox/infrastructure/docutils-update.local
@@ -55,6 +55,7 @@ umask 002
# URL for SVN project checkout:
svnurl=https://docutils.svn.sourceforge.net/svnroot/docutils/trunk
+htmlfilelist=`pwd`/htmlfiles.lst
basedir=`pwd`/update-dir
if [ ! -e $basedir ] ; then
test -d $basedir || mkdir $basedir
@@ -176,11 +177,27 @@ if [ $trace -eq 0 ] ; then
set +o xtrace
fi
+# 1. local Makefiles
for makefile in `find .. -name Makefile.docutils-update` ; do
dir=`dirname $makefile`
( cd $dir ; make -f Makefile.docutils-update -s )
done
+cd $htdocsdest
+
+# 2. generate empty and old html files to force generation
+while read -r htmlfile ; do
+ if [ ! -d `dirname $htmlfile` ] ; then
+ echo "Old htmlfile entry: $htmlfile"
+ elif [ ! -e $htmlfile ] ; then
+ echo "T: $htmlfile"
+ touch -t 200001010101 $htmlfile
+ fi
+done < $htmlfilelist
+
+# 3. re/generate html from txt
+cd $htdocsdest/tools
+
for htmlfile in `find .. -name '*.html'` ; do
dir=`dirname $htmlfile`
base=`basename $htmlfile .html`