blob: 4ca0d7fdfbc9cb4e6890217b970b76b057edf553 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
# Makefile for documentation
# $Id: Makefile,v 1.4 2001-06-16 13:34:25 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 : documentation.ps
documentation.ps : documentation.dvi
dvips -f <documentation.dvi >documentation.ps
.PHONY : dvi
dvi : documentation.dvi
documentation.dvi : documentation.tex
latex documentation
.PHONY : bib
bib :
bibtex documentation
.PHONY : clean
clean :
-rm *.dvi *.ps *.aux *.bbl *.log *.blg
|
