3# Provide `initial-data.tpl.tex` with necessary macro definitions
4# extracted from statement file.
8# ./initial-data.sh STATEMENT-FILE
10# Output is a LaTeX code ready for inclusion using `\input`.
13TEMPFILE=$(mktemp /tmp/docXXXXXX)
15# Strip out non-TeXish comments
17cat ${1} | grep -v "[ ]*;; .*" > ${TEMPFILE}
19# Extract numeric parameters
21RIGHTBOUND=$(cat ${TEMPFILE} | grep right-bound | \
22 sed -e "s/(define right-bound \(.*\))/\1/")
24NTEX=$(cat ${TEMPFILE} | grep ';;@ \$n(x)' | \
25 sed -e "s/;;@ //" | sed -e 's/^\$\(.*\)\$$/\1/g' | tr -d "\n")
27LABEL=$(basename ${1})"-initial-data"
29m4 --define="__NTEX"="${NTEX}" \
30 --define="__RIGHTBOUND"="${RIGHTBOUND}" \
31 --define="__LABEL"="${LABEL}" \