blob: 12e949ea4c16166e4633ce9152e8b817839995dd (
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
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
|
##
## Makefile for Proof General doc directory.
##
## Author: David Aspinall <da@dcs.ed.ac.uk>
##
## Maintainer: Proof General maintainer <proofgen@dcs.ed.ac.uk>
##
## $Id$
##
###########################################################################
##
## Use:
## make info,dvi,pdf,html - build respective docs from texi source.
## make doc - make default kinds of doc (dvi, info).
##
###########################################################################
MAKE = make -f Makefile.doc
MAKEINFO = makeinfo
# `texinfo-tex' package contains texi2dvi and texi2pdf
TEXI2DVI = texi2dvi
# `dviutils' package contains these useful utilities.
# "make rearrange" will only be called if you have dviselect.
DVISELECT = dviselect
DVICONCAT = dviconcat
# Assumes actual first two pages belong to titlepage
TITLERANGE = =1,=2
# Assumes that main document starts on third actual page
MAINRANGE = =3,=4,3:
TOC = :_1
DVI2PS = dvips -Pcmz
TEXI2PDF = texi2pdf
TEXI2HTML = texi2html -expandinfo -number -split_chapter
EMACS = emacs
EMACSFLAGS = -q -no-site-file
TMPFILE=pgt
.SUFFIXES: .texi .info .html .pdf .ps .eps .tiff .gz
default: doc
.texi.info:
$(MAKEINFO) $<
.texi.dvi:
$(TEXI2DVI) $<
if `which $(DVISELECT) > /dev/null`; then $(MAKE) rearrange DOCNAME=$*; fi
rearrange:
$(DVISELECT) -i $(DOCNAME).dvi -o $(DOCNAME).tmp1 $(TITLERANGE)
$(DVISELECT) -i $(DOCNAME).dvi -o $(DOCNAME).tmp2 $(MAINRANGE)
$(DVISELECT) -i $(DOCNAME).dvi -o $(DOCNAME).tmp3 $(TOC)
$(DVICONCAT) -o $(DOCNAME).dvi $(DOCNAME).tmp1 $(DOCNAME).tmp3 $(DOCNAME).tmp2
rm -f $(DOCNAME).tmp1 $(DOCNAME).tmp2 $(DOCNAME).tmp3
.tiff.eps:
tiff2ps -e -w 3.48 -h 5 $*.tiff > $*.eps
## FIXME: need to do page rearrangement here, too!
.texi.pdf:
$(TEXI2PDF) $<
.dvi.ps:
$(DVI2PS) $< -o $*.ps
.texi.html:
$(TEXI2HTML) -prefix $* $<
default: doc
FORCE:
ProofGeneral.txt:
echo > ProofGeneral.txt
ProofGeneralPortrait.eps: FORCE
# if [ -f ProofGeneralPortrait.eps.gz ]; then gunzip -c ProofGeneralPortrait.eps.gz > ProofGeneralPortrait.eps; fi
if [ -f ProofGeneralPortrait.eps ]; then \
sed 's/@clear haveeps/@set haveeps/g' $(DOCNAME).texi > $(TMPFILE); \
sed 's/@c image{ProofGeneralPortrait}/@image{ProofGeneralPortrait}/g' $(TMPFILE) > $(DOCNAME).texi; \
else \
sed 's/@set haveeps/@clear haveeps/g' $(DOCNAME).texi > $(TMPFILE); \
sed 's/@image{ProofGeneralPortrait}/@c image{ProofGeneralPortrait}/g' $(TMPFILE) > $(DOCNAME).texi; \
fi
rm -f $(TMPFILE)
ProofGeneralPortrait.pdf:
# if [ -f ProofGeneralPortrait.eps.gz ]; then gunzip -c ProofGeneralPortrait.eps.gz > ProofGeneralPortrait.eps; epstopdf ProofGeneralPortrait.eps; fi
if [ -f ProofGeneralPortrait.pdf ]; then \
sed 's/@clear haveeps/@set haveeps/g' $(DOCNAME).texi > $(TMPFILE); \
sed 's/@c image{ProofGeneralPortrait}/@image{ProofGeneralPortrait}/g' $(TMPFILE) > $(DOCNAME).texi; \
else \
sed 's/@set haveeps/@clear haveeps/g' $(DOCNAME).texi > $(TMPFILE); \
sed 's/@image{ProofGeneralPortrait}/@c image{ProofGeneralPortrait}/g' $(TMPFILE) > $(DOCNAME).texi; \
fi
rm -f $(TMPFILE)
%.gz : %
gzip -f -9 $*
##
## doc : build pdf, info files from $(DOCNAME).texi
##
doc: pdf info
##
## all : build all documentation targets
##
all: dvi ps html info pdf
##
## dist: build distribution targets
##
dist: info html pdf
pdf: ProofGeneralPortrait.pdf $(DOCNAME).pdf
# da: target is a fake: we actually make in a subdir
html: $(DOCNAME).html
info: ProofGeneral.txt $(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
##
CLEANTARGS:=$(DOCNAME).cp $(DOCNAME).fn $(DOCNAME).vr $(DOCNAME).tp $(DOCNAME).ky $(DOCNAME).kys $(DOCNAME).pg $(DOCNAME).fns $(DOCNAME).vrs $(DOCNAME).cps $(DOCNAME).aux $(DOCNAME).log $(DOCNAME).cp $(DOCNAME).cp0 $(DOCNAME).toc
clean:
rm -f ProofGeneral.txt ProofGeneralPortrait.eps ProofGeneralPortrait.pdf
rm -f $(CLEANTARGS)
rm -f *~
##
## distclean: Remove documentation targets
##
distclean: clean
rm -f $(DOCNAME).info* $(DOCNAME).dvi $(DOCNAME)*.ps $(DOCNAME).pdf $(DOCNAME)*.html
##
## texi: update magic comments in texi from docstrings in code.
## (developer use only!)
##
## remove this for now: no magic during dist ../*/*.el
$(DOCNAME).texi:
$(MAKE) magic
magic:
$(EMACS) $(EMACSFLAGS) -batch -l ./docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer
debugmagic:
$(EMACS) $(EMACFLAGS) -eval '(setq debug-on-error t)' -l ./docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer
|
