diff options
| author | iap10@labyrinth.cl.cam.ac.uk <iap10@labyrinth.cl.cam.ac.uk> | 2004-11-03 11:40:51 +0000 |
|---|---|---|
| committer | iap10@labyrinth.cl.cam.ac.uk <iap10@labyrinth.cl.cam.ac.uk> | 2004-11-03 11:40:51 +0000 |
| commit | 50e437a00a8aa6765d656e212badea462ce02a99 (patch) | |
| tree | 431fb0bebb60232683bbcf2ff0083a0510f1942d /docs/Makefile | |
| parent | 4641ccfc330b9093f34de0ab1d2863aa5cbcaec7 (diff) | |
| parent | 149abe0ab4480bc670eb1927a7aacdeb5799cf99 (diff) | |
| download | xen-50e437a00a8aa6765d656e212badea462ce02a99.tar.gz xen-50e437a00a8aa6765d656e212badea462ce02a99.tar.bz2 xen-50e437a00a8aa6765d656e212badea462ce02a99.zip | |
bitkeeper revision 1.1159.1.345 (4188c3c3m4peCqRhMg6W2JHnjHwkDw)
Merge labyrinth.cl.cam.ac.uk:/auto/groups/xeno/BK/xeno.bk
into labyrinth.cl.cam.ac.uk:/auto/anfs/scratch/labyrinth/iap10/xeno-clone/xeno.bk
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/Makefile b/docs/Makefile index 528c4f53f2..aa2b8a1aee 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -30,10 +30,10 @@ install: all pdf/%.pdf: ps/%.ps mkdir -p pdf ; ps2pdf $< $@ -ps/%.ps: %.dvi $(GFX) +ps/%.ps: %.dvi mkdir -p ps ; dvips -Ppdf -G0 -o $@ $< -%.dvi: src/%.tex +%.dvi: src/%.tex $(GFX) latex $< >/dev/null if [ -e $*.toc ] ; then latex $< >/dev/null ; fi |