# Makefile for documentation
# $Id: Makefile,v 1.5 2001-09-16 14:53:27 jthorn Exp $

#
# Targets:
# default	latex & dvips everything
# bib		bibtex everything
# clean		remove all machine-generated files
#

#
# Note this Makefile always re-TeXs things, even if the .tex files
# haven't changed (and similarly for dvips); this ensures that changes
# to macros, included stuff from other directories, etc, get "used".
# To implement this, we declare the .dvi and .ps files as "PHONY".
#

###############################################################################

.PHONY	: default
default	: ps

.PHONY	: ps
ps	: dvi
	dvips -f <documentation.dvi >documentation.ps

.PHONY	: dvi
dvi	:
	latex documentation

.PHONY	: bib
bib	:
	bibtex documentation

.PHONY	: clean
clean	:
	-rm *.dvi *.ps *.aux *.bbl *.log *.blg