blob: d22507c7318db54139998234edff39e1f3bb76ff (
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 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
|
