blob: 2799d5ace0cb41d076f52118e26320dd6b57b69c (
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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
|
##
## Makefile for Proof General doc directory.
##
## Author: David Aspinall <da@dcs.ed.ac.uk>
##
## $Id$
##
###########################################################################
##
## Use:
## make info,dvi,pdf,html - build respective docs from texi source.
## make doc - make all kinds of doc.
##
###########################################################################
DOCNAME = ProofGeneral
# program to make info files from .texi
MAKEINFO = makeinfo
# program to make dvi files from .texi
TEXI2DVI = texi2dvi
# program to make pdf files from .texi
TEXI2PDF = texi2pdf
# program to make html files from .texi
TEXI2HTML = texi2html
.SUFFIXES: .texi .info .dvi .html .pdf
.texi.info:
$(MAKEINFO) $<
.texi.dvi:
$(TEXI2DVI) $<
.texi.pdf:
$(TEXI2PDF) $<
.texi.html:
$(TEXI2HTML) $<
##
## doc : build info and dvi files from $(DOCNAME).texi
##
doc: dvi info
##
## doc : build dvi, pdf, html, info
##
all: dvi pdf html info
dvi: $(DOCNAME).dvi
pdf: $(DOCNAME).pdf
html: $(DOCNAME).html
info: $(DOCNAME).info
# NB: for info, could make localdir automatically from
# START-INFO-DIR-ENTRY / END-INFO-DIR-ENTRY.
# Does some utility do this?
##
## clean: Remove subsidiary documentation files
##
clean:
rm -f $(DOCNAME).?? $(DOCNAME).cps $(DOCNAME).cp0
rm -f $(DOCNAME).aux $(DOCNAME).log $(DOCNAME).toc
rm -f *~
##
## distclean: Remove documentation targets
##
distclean: clean
rm -f $(DOCNAME).info* $(DOCNAME).dvi $(DOCNAME).pdf $(DOCNAME)*.html
##
## cvsclean: remove all non-cvs
##
cvsclean: distclean
|
