diff options
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile index 2548627..e9b2a25 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,5 +1,5 @@ # Makefile for documentation -# $Id: Makefile,v 1.1 2001-06-14 14:41:54 jthorn Exp $ +# $Id: Makefile,v 1.2 2001-06-14 14:57:51 jthorn Exp $ # # Note this Makefile always re-TeXs things, even if the .tex files @@ -11,7 +11,14 @@ ############################################################################### .PHONY : default -default : prog +default : prog user + +.PHONY : user user.dvi user.ps +user : user.ps +user.ps : user.dvi + dvips -f <user.dvi >user.ps +user.dvi: user.tex + latex user .PHONY : prog prog.dvi prog.ps prog : prog.ps @@ -19,3 +26,8 @@ prog.ps : prog.dvi dvips -f <prog.dvi >prog.ps prog.dvi: prog.tex latex prog + +.PHONY : bib +bib : + bibtex user + bibtex prog |