diff options
| author | Christian Grothoff <christian@grothoff.org> | 2023-01-06 22:22:30 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2023-01-06 22:22:34 +0100 |
| commit | 26b7dce38e2908a0ba8fb8e3f94c13cdd1bd41d1 (patch) | |
| tree | 9dfe55c7b1da1047bdedf93605a7592ef085ac80 /contrib/update-pp.sh | |
| parent | 0c1dd62457e038ced081489732044e03163eb74b (diff) | |
| download | anastasis-26b7dce38e2908a0ba8fb8e3f94c13cdd1bd41d1.tar.gz anastasis-26b7dce38e2908a0ba8fb8e3f94c13cdd1bd41d1.tar.bz2 anastasis-26b7dce38e2908a0ba8fb8e3f94c13cdd1bd41d1.zip | |
support md in TOS
Diffstat (limited to 'contrib/update-pp.sh')
| -rwxr-xr-x | contrib/update-pp.sh | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/contrib/update-pp.sh b/contrib/update-pp.sh index db31ba1..03aa237 100755 --- a/contrib/update-pp.sh +++ b/contrib/update-pp.sh @@ -22,7 +22,16 @@ do rm -rf _build echo " Generating format $f" make -e SPHINXOPTS="-D language='$l'" $f >>sphinx.log 2>>sphinx.err < /dev/null - mv _build/$f/pp.$f $l/${VERSION}.$f + if test $f = "html" + then + htmlark -o $l/${VERSION}.$f _build/$f/${VERSION}.$f + else + mv _build/$f/${VERSION}.$f $l/${VERSION}.$f + fi + if test $f = "txt" + then + cp $l/${VERSION}.$f $l/${VERSION}.md + fi done done cd .. |