From 5382e222d32912a129d936ca296650e7df98eb4a Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 22 Jun 2006 13:57:36 +0000 Subject: integrating russian in document --- doc/Makefile | 3 +++ 1 file changed, 3 insertions(+) (limited to 'doc/Makefile') diff --git a/doc/Makefile b/doc/Makefile index 5c3a92168..9c0c735be 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -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 -- cgit v1.2.3