summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/exframe/exfsermk.sh
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2019-05-01 22:50:55 +0000
committerKarl Berry <karl@freefriends.org>2019-05-01 22:50:55 +0000
commitf1a25b968a0601f5866891e3e4b58f32cdd38f80 (patch)
treecd71845f80a51fe023d1d0473297f85e81f567c7 /Master/texmf-dist/doc/latex/exframe/exfsermk.sh
parent9fac82f8cee8127bc2ea3077f15bfba501ba8124 (diff)
exframe (1may19)
git-svn-id: svn://tug.org/texlive/trunk@50920 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/exframe/exfsermk.sh')
-rw-r--r--Master/texmf-dist/doc/latex/exframe/exfsermk.sh101
1 files changed, 101 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/exframe/exfsermk.sh b/Master/texmf-dist/doc/latex/exframe/exfsermk.sh
new file mode 100644
index 00000000000..1003fa32522
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/exframe/exfsermk.sh
@@ -0,0 +1,101 @@
+#!/bin/bash
+
+if [ -z $1 ]
+then
+ echo "Usage:
+ $0 number [version]
+ number: number of sheet, 0 for combined document
+ version: 1 for problems, 2 for solutions
+ $0 filename
+ filename: target file to be compiled"
+ exit 1
+fi
+
+num="$1"
+ver="$2"
+main="exfserm"
+source="exfser"
+target1="Problems"
+target2="Solutions"
+sheets="01 02 03 aa"
+nl=$'\n'
+sheetokay=""
+make=".pdf"
+
+for v in $target1 $target2
+do
+ if [[ $num =~ ^$v ]]
+ then
+ ver=$v
+ num=${num#$v}
+ if [[ $num =~ ^.*\.tex$ ]]; then make=".tex"; fi
+ num=${num%%.*}
+ fi
+done
+
+if [[ $num =~ ^[0-9]$ ]]; then num="0$num"; fi
+if [[ $num == "00" ]]; then num=""; fi
+
+if [[ -z $num ]]; then sheetokay="okay"; fi
+for v in $sheets
+do
+ if [[ "$num" == "$v" ]]; then sheetokay="okay"; fi
+done
+
+if [[ -z $sheetokay ]]
+then
+ echo "error: unknown sheet"
+ exit 1
+fi
+
+function docompile
+{
+ if [[ -z $num ]]; then job=$main; else job=$source$num; fi
+ for par in -draftmode ""
+ do
+ body="\\def\\jobname{$job}\\def\\draftver{n}\\def\\printsol{$sol}"
+ body="$body\\input{childdoc.def}"
+ if [[ -z $num ]]
+ then
+ body="$body\\childdocforward{$main}"
+ else
+ body="$body\\childdocforward[$main]{$source$num}"
+ fi
+ drop="This is|entering extended mode|\\write18"
+ drop="$drop|Preloading the plain mem file|mpost\.mp|plain\.mp"
+ pdflatex -shell-escape -interaction=batchmode $par \
+ -jobname "$target$num" "$body" | grep -vE "$drop"
+ done
+ grep -E "Warning|Error|Undefined|Overfull|Underfull" "$target$num.log"
+}
+
+function writesource
+{
+ body="\\def\\draftver{n}$nl\\def\\printsol{$sol}$nl"
+ body="$body\\input{childdoc.def}$nl"
+ if [[ -z $num ]]
+ then
+ body="$body\\childdocforward{$main}"
+ else
+ body="$body\\childdocforwardprefix[$main]{$target}{$source}"
+ fi
+ echo "$body" > $target$num.tex
+}
+
+function process
+{
+ target=$1
+ sol=$2
+ if [[ "$make" == ".pdf" ]]; then docompile; else writesource; fi
+}
+
+if [[ -z $ver || "$ver" == "$target1" || $ver = 1 ]]
+then
+ process $target1 n
+fi
+if [[ -z $ver || "$ver" == "$target2" || $ver = 2 ]]
+then
+ process $target2 y
+fi
+
+echo