Added a `ffi.ps' target to Makefile
authorManuel Chakravarty <chak@cse.unsw.edu.au>
Tue, 14 Jan 2003 06:55:53 +0000 (06:55 +0000)
committerManuel Chakravarty <chak@cse.unsw.edu.au>
Tue, 14 Jan 2003 06:55:53 +0000 (06:55 +0000)
ffi/Makefile

index 17f3782..73d78b5 100644 (file)
@@ -1,3 +1,7 @@
 threads.ps: threads.tex
        TEXINPUTS=../styles: latex threads.tex
        dvips -f < threads.dvi > threads.ps
+
+ffi.ps: ffi.tex
+       TEXINPUTS=../styles: latex ffi.tex
+       dvips -f < ffi.dvi > ffi.ps