1
0
forked from GitHub/gf-core

integrating russian in document

This commit is contained in:
aarne
2006-06-22 13:57:36 +00:00
parent 0d213f6e27
commit d2ab89128d
5 changed files with 437 additions and 1 deletions

View File

@@ -3,9 +3,12 @@ resource:
gfdoc -txt2 ../lib/resource-1.0/*/Paradigms*.gf
txt2tags --toc resource.txt
# cat resource-preamble resource.tex >final-resource.tex
sed -i 's/\\docum/%\\docum/g' resource.tex
sed -i 's/ion\*{/ion{/g' resource.tex
sed -i 's/\\paragraph{}//g' resource.tex
sed -i 's/}\\\\/}/g' resource.tex
cat resource-preamble resource.tex >resource.tmp
mv resource.tmp resource.tex
latex resource.tex
latex resource.tex
dvipdf resource.dvi