version 1.6, 2000/01/24 07:49:58 |
version 1.8, 2000/09/09 03:01:24 |
|
|
#$OpenXM: OpenXM/doc/OpenXM-specs/Makefile,v 1.5 2000/01/24 07:36:35 noro Exp $ |
#$OpenXM: OpenXM/doc/OpenXM-specs/Makefile,v 1.7 2000/01/24 12:32:49 noro Exp $ |
all : doc |
all : doc |
|
|
OXWEAVE=../../src/kxx/oxweave |
OXWEAVE=../../src/kxx/oxweave |
Line 10 implementation.tex introduction.tex library.tex\ |
|
Line 10 implementation.tex introduction.tex library.tex\ |
|
ox-localdata.tex project.tex redefine.tex\ |
ox-localdata.tex project.tex redefine.tex\ |
stackmachine.tex start-session.tex string-expression.tex |
stackmachine.tex start-session.tex string-expression.tex |
|
|
doc: OpenXM-eg.dvi OpenXM-jp.dvi |
doc: OpenXM-en.dvi OpenXM-ja.dvi |
|
|
OpenXM-eg.dvi: $(OXWEAVE) $(SRC) |
OpenXM-en.dvi: $(OXWEAVE) $(SRC) |
-rm -rf tmpEG |
-rm -rf tmpEN |
-mkdir tmpEG |
-mkdir tmpEN |
-for i in *.tex; do $(OXWEAVE) $(OXWEAVEFLAG) C eg < $$i >tmpEG/$$i; done |
-for i in *.tex; do $(OXWEAVE) $(OXWEAVEFLAG) C eg < $$i >tmpEN/$$i; done |
(cd tmpEG; ln -s ../reset.eps .; latex OpenXM; latex OpenXM) |
(cd tmpEN; ln -s ../reset.eps .; latex OpenXM; latex OpenXM) |
-mv tmpEG/OpenXM.dvi OpenXM-eg.dvi |
-mv tmpEN/OpenXM.dvi OpenXM-en.dvi |
touch OpenXM-eg.dvi |
touch OpenXM-en.dvi |
|
|
OpenXM-jp.dvi: $(OXWEAVE) $(SRC) |
OpenXM-ja.dvi: $(OXWEAVE) $(SRC) |
-rm -rf tmpJP |
-rm -rf tmpJA |
-mkdir tmpJP |
-mkdir tmpJA |
-for i in *.tex; do $(OXWEAVE) $(OXWEAVEFLAG) C jp < $$i >tmpJP/$$i; done |
-for i in *.tex; do $(OXWEAVE) $(OXWEAVEFLAG) C jp < $$i >tmpJA/$$i; done |
-(cd tmpJP; ln -s ../reset.eps .; platex OpenXM; platex OpenXM) |
-(cd tmpJA; ln -s ../reset.eps .; platex OpenXM; platex OpenXM) |
-mv tmpJP/OpenXM.dvi OpenXM-jp.dvi |
-mv tmpJA/OpenXM.dvi OpenXM-ja.dvi |
touch OpenXM-jp.dvi |
touch OpenXM-ja.dvi |
|
|
$(OXWEAVE) : $(OXWEAVE).c |
$(OXWEAVE) : $(OXWEAVE).c |
(cd ../../src/kxx ; make oxweave) |
(cd ../../src/kxx ; make oxweave) |
|
|
clean : |
clean : |
/bin/rm -rf tmpEG tmpJP |
/bin/rm -rf tmpEN tmpJA |
|
/bin/rm -f OpenXM-en.dvi OpenXM-ja.dvi |
|
|
|
|