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
|
# Makefile,v
TOP=../..
include $(TOP)/config/Makefile
H=../html
OBJS=$H/index.html $H/about.html $H/ast_strict.html $H/ast_transi.html $H/bparsers.html $H/commands.html $H/conclusion.html $H/directives.html $H/extfun.html $H/fparsers.html $H/grammars.html $H/lexers.html $H/library.html $H/locations.html $H/macros.html $H/ml_ast.html $H/opretty.html $H/parsers.html $H/pcaml.html $H/pprintf.html $H/pragma.html $H/pretty.html $H/printers.html $H/ptools.html $H/q_ast.html $H/quot.html $H/redef.html $H/revsynt.html $H/scheme.html $H/sources.html $H/strict.html $H/syntext.html
RSS=$H/rss/camlp5.rss
INDEX=index.html
NO_PR_DIR=--no-print-directory
install-to-pages: ../html/index.html camlp5.info camlp5.dvi camlp5.pdf camlp5.ps
test -d $(PAGESROOT) || (echo PAGESROOT $(PAGESROOT) not a directory; false)
cp camlp5.dvi $(PAGESROOT)/doc/dvi/camlp5-$(VERSION).dvi
cp camlp5.pdf $(PAGESROOT)/doc/pdf/camlp5-$(VERSION).pdf
cp camlp5.ps $(PAGESROOT)/doc/ps/camlp5-$(VERSION).ps
rm -rf $(PAGESROOT)/doc/htmlc && cp -r ../html $(PAGESROOT)/doc/htmlc
tar -C .. -zcf $(PAGESROOT)/doc/htmlz/camlp5-$(VERSION).html.tgz html
tar -zcf $(PAGESROOT)/doc/info/camlp5-$(VERSION).info.tgz camlp5.info*
all: $(OBJS) $(RSS)
info:
@$(MAKE) $(NO_PR_DIR) camlp5.info H=.
tex:
@$(MAKE) $(NO_PR_DIR) camlp5.dvi H=.
ps:
@$(MAKE) $(NO_PR_DIR) camlp5.ps H=.
pdf:
@$(MAKE) $(NO_PR_DIR) camlp5.pdf H=.
camlp5.info: html2texi $(OBJS)
./html2texi > camlp5.texi
makeinfo --force camlp5.texi
camlp5.dvi: camlp5.tex
latex camlp5.tex
latex camlp5.tex
latex camlp5.tex
camlp5.tex: html2latex $(OBJS)
./html2latex > camlp5.tex
camlp5.ps: camlp5.dvi
dvips -f- camlp5.dvi > camlp5.ps
camlp5.pdf: camlp5.tex
pdflatex camlp5.tex
clean:
rm -f $(OBJS) $(RSS)
rm -f camlp5.texi camlp5.info* camlp5.ps
rm -f camlp5.tex camlp5.dvi camlp5.log camlp5.toc camlp5.aux
../html/%.html: %.html menu.html trailer.html
@mkdir -p ../html
@rm -f $@
./htmlp2html $< > $@
@chmod 444 $@
../html/rss/%.rss: %.rss
@mkdir -p ../html/rss
@rm -f $@
cp $< $@
@chmod 444 $@
|
