summaryrefslogtreecommitdiff
path: root/d
diff options
context:
space:
mode:
Diffstat (limited to 'd')
-rwxr-xr-xd/sys/lampion/local/bin/update-svnco20
1 files changed, 15 insertions, 5 deletions
diff --git a/d/sys/lampion/local/bin/update-svnco b/d/sys/lampion/local/bin/update-svnco
index 255a312..a40ef39 100755
--- a/d/sys/lampion/local/bin/update-svnco
+++ b/d/sys/lampion/local/bin/update-svnco
@@ -14,15 +14,25 @@ exec 1> /tmp/update-svnco-output
svn up || echo "Error in svn up" >&2
for i in $(scan-svnco make)
do
- make -C $i doc
+ make -C $i doc
done
for i in $(scan-svnco txt)
do
- h=${i/.txt/.html}
- if [[ ! -f $h || $i -nt $h ]]; then
- echo "AFT $i"
- grep -q '^*Title' $i && aft $i && [[ -f $i-TOC ]] && aft $i
+ h=${i/.txt/.html}
+ if [[ ! -f $h || $i -nt $h ]]; then
+ echo "AFT $i"
+ if grep -q '^*Title' $i; then
+ aft $i && [[ -f $i-TOC ]] && aft $i
fi
+ fi
+ for j in $(sed -ne 's/^*Image[^: ]*: *\(.*\)$/\1/p' < $i)
+ do
+ img=${i:h}/$j
+ echo "IMG $img"
+ fig=${img/.png/.fig}
+ [[ -r $fig && ( ! -f $img || $fig -nt $img ) ]] && \
+ fig2dev -L png $fig $img
+ done
done
(cd $svncodir/p/tools && ./todo.pl -f html > todo.html)