r7rs全文公開

Makefile

@@ -0,0 +1,67 @@
+
+.PHONY: all clean cleaner checkindex
+
+all: r7rs-ja.pdf r7rs_overview-ja.pdf
+
+clean:
+	rm -f *~
+
+cleaner: clean
+	rm -f *.pdf *.aux *.dvi *.log *.idx *.toc *.out
+
+DIFF_SOURCES=basic.tex derive.tex example.tex expr.tex \
+	lex.tex procs.tex prog.tex struct.tex
+
+SOURCES=r7rs.tex $(DIFF_SOURCES) intro.tex \
+	bib.tex syn.tex commands.tex first.tex notes.tex \
+	repository.tex index.tex sem.tex stdmod-raw.tex \
+	features.tex
+
+# index.tex: r7rs.idx
+# 	csi index.sch -e '(run)'
+
+stdmod.tex: stdmod-raw.tex
+	./genstdmod.pl < $< > $@
+
+checkindex: stdmod-raw.tex index.tex
+	./checkindex.sh
+
+intro-ebook.tex: intro.tex
+	sed 's/\\clearextrapart{\(.*\)}/\1/g' $< > $@
+
+r7rs-ja.pdf: r7rs.dvi
+	dvipdfm -o r7rs-ja.pdf $<
+
+r7rs.dvi: $(SOURCES) stdmod.tex
+#	pdflatex $<
+#	pdflatex $<
+	platex $<
+	platex $<
+
+r7rs_overview-ja.pdf: overview.dvi
+	dvipdfm -o r7rs_overview-ja.pdf $<
+
+overview.dvi: overview.tex overview-body.tex
+#	pdflatex $<
+#	pdflatex $<
+	platex $<
+	platex $<
+
+r7rs-ebook-ja.pdf: r7rs-ebook.dvi
+	dvipdfm -o r7rs-ebook-ja.pdf $<
+
+r7rs-ebook.dvi: r7rs-ebook.tex intro-ebook.tex $(SOURCES) stdmod.tex
+#	pdflatex $<
+#	pdflatex $<
+	platex $<
+	platex $<
+
+r5diff/%.tex: %.tex
+	hg cat -r 1 $< > r5diff/old-$<
+	latexdiff --type=UNDERLINE --subtype=SAFE r5diff/old-$< $< | \
+	  perl -pe 's/\\section{\\DIF(add|del){([^{}]*)}}/\\section{\2}/; s/}\\ev  \\DIFadd{/\\ev/' | \
+	  perl -pe 'BEGIN{undef $$/} s/\\ev([^%{]*)(%.*)?\n}/} \\ev \1\n/g' > $@
+	rm -f r5diff/old-$<
+
+r5diff/r7rs-ja.pdf: $(DIFF_SOURCES:%=r5diff/%)
+	cd r5diff && $(MAKE) r7rs-ja.pdf