1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
From: Barak A. Pearlmutter <barak+git@cs.nuim.ie>
Date: Tue, 19 Jul 2011 18:04:42 +0200
Subject: [PATCH] doc pdflatex
---
doc/makefile | 1 +
1 files changed, 1 insertions(+), 0 deletions(-)
diff --git a/doc/makefile b/doc/makefile
index 3d6caf9..3c65873 100644
--- a/doc/makefile
+++ b/doc/makefile
@@ -18,6 +18,7 @@ INSTALL_SCRIPT = ${INSTALL}
TEX=latex
%.ps: %.dvi; dvips -K -Ppdf -G0 -R0 -q -tletter -o $@ $<
%.pdf: %.ps; ps2pdf $< $@
+%.pdf: %.tex; pdflatex $<
export TEXINPUTS
r4rs.dvi: TEXINPUTS=r4rs:
--
|
