summaryrefslogtreecommitdiff
path: root/d/sys/lampion/local
diff options
context:
space:
mode:
authorschodet2006-02-08 19:22:10 +0000
committerschodet2006-02-08 19:22:10 +0000
commit1b3358cbbd3ca3bf93799f61e44850373a26dc5f (patch)
treeacd1b1014fbe48c8de39cd06f61227f8bd65612a /d/sys/lampion/local
parenta8af40f29f213eec3d4be18748cd32d71fa9e60a (diff)
Conversion automatique des .fig.
Diffstat (limited to 'd/sys/lampion/local')
-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)