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
|
##
## 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).
##
###########################################################################
# DOCNAME = ProofGeneral
MAKEINFO = makeinfo
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
TEXI2PDF = texi2pdf
TEXI2HTML = texi2html -expandinfo -number -split_chapter
# FIXME: choose emacs automatically if xemacs not available
EMACS = xemacs -batch
TMPFILE=pgt
.SUFFIXES: .texi .info .dvi .html .pdf .ps .eps .tiff .gz
default: doc
.texi.info:
$(MAKEINFO) $<
.texi.dvi:
$(TEXI2DVI) $<
if `which $(DVISELECT) > /dev/null`; then $(MAKE) rearrange; 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) $<
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 info and dvi files from $(DOCNAME).texi
##
doc: dvi info
##
## all : build all documentation targets
##
all: dvi ps html info pdf
##
## dist: build distribution targets
##
dist: info html psz pdf
dvi: ProofGeneralPortrait.eps $(DOCNAME).dvi
ps: dvi $(DOCNAME).ps
psz: ps $(DOCNAME).ps.gz
pdf: ProofGeneralPortrait.pdf $(DOCNAME).pdf
html: $(DOCNAME).html
ln -sf $(DOCNAME)_toc.html index.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
##
clean:
rm -f ProofGeneral.txt ProofGeneralPortrait.eps ProofGeneralPortrait.pdf
rm -f $(DOCNAME).{cp,fn,vr,tp,ky,pg}
rm -f $(DOCNAME).{fns,vrs,cps,aux,log,toc,kys,cp0}
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!)
##
$(DOCNAME).texi: ../*/*.el
$(MAKE) magic
magic:
$(EMACS) -l docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer
|
