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
|
MAKEINFO=makeinfo
TEXI2DVI=texi2dvi
TEXI2HTML=./texi2html
DVI2PS=dvips
AM=asn1-mode
AD=asn1-diff
%.html: %.texinfo
$(TEXI2HTML) $<
mv $*.html $*.html.tmp
awk '/<BASE HREF/ { t=1 } t==1 {print}' $*.html.tmp |\
sed -e '/<\/HTML>/ q' > $*.html
%.ps: %.dvi
$(DVI2PS) -o $*.ps $<
%.info: %.texi
$(MAKEINFO) -o $*.info $*.texi
%.dvi: %.texi
$(TEXI2DVI) $*.texi
%.texinfo: %.texi
sed -f elibel $< > $*.texinfo
%.pdf: %.ps
distill $<
all: ps html
help:
@echo "Options : all info dvi ps html pdf clean distclean"
info: $(AM).info
dvi: $(AM).dvi
ps: $(AM).ps
html: $(AM).html
pdf: $(AM).pdf
clean :
rm -f *~ \#*\# *.cp *.cps *.aux *.fn *.ky *.log *.pg *.toc *.tp\
*.vr *.bak *.tmp *_toc.html
distclean : clean
rm -f *.ps *.html *.dvi *.info *.elc *.pdf
|
