blob: 5c3a9216865f139136a0c8072d3ecd6db6bc857f (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
resource:
gfdoc -txt2 ../lib/resource-1.0/abstract/*.gf
gfdoc -txt2 ../lib/resource-1.0/*/Paradigms*.gf
txt2tags --toc resource.txt
# cat resource-preamble resource.tex >final-resource.tex
sed -i 's/ion\*{/ion{/g' resource.tex
sed -i 's/\\paragraph{}//g' resource.tex
sed -i 's/}\\\\/}/g' resource.tex
latex resource.tex
latex resource.tex
dvipdf resource.dvi
|