| author | Tom Henderson <tomh@tomh.org> |
| Fri, 10 Oct 2008 14:21:58 -0700 | |
| changeset 3739 | 97bd03e5af73 |
| parent 3362 | 9a6f1b3c6e0b |
| child 3978 | e1e886e0edec |
| permissions | -rw-r--r-- |
|
3274
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
1 |
TEXI2HTML = texi2html |
|
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
2 |
TEXI2PDF = texi2dvi --pdf |
|
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
3 |
EPSTOPDF = epstopdf |
|
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
4 |
DIA = dia |
|
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
5 |
CONVERT = convert |
|
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
6 |
CSS = --css-include=manual.css |
|
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
7 |
SPLIT = --split section |
|
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
8 |
|
|
3739
97bd03e5af73
remove tgif figures; replace with dia
Tom Henderson <tomh@tomh.org>
parents:
3362
diff
changeset
|
9 |
DIA_SOURCES = internet-node-send.dia internet-node-recv.dia packet.dia node.dia buffer.dia sockets-overview.dia |
|
3274
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
10 |
DIA_EPS = ${DIA_SOURCES:.dia=.eps}
|
|
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
11 |
DIA_PNG = ${DIA_SOURCES:.dia=.png}
|
|
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
12 |
DIA_PDF = ${DIA_SOURCES:.dia=.pdf}
|
|
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
13 |
|
|
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
14 |
all: images html split-html pdf |
|
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
15 |
|
|
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
16 |
images: |
|
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
17 |
cd figures/; $(DIA) -t png $(DIA_SOURCES) |
|
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
18 |
cd figures/; $(DIA) -t eps $(DIA_SOURCES) |
|
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
19 |
cd figures/; $(foreach FILE,$(DIA_EPS),$(EPSTOPDF) $(FILE);) |
|
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
20 |
|
|
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
21 |
html: images |
|
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
22 |
$(TEXI2HTML) ${CSS} manual.texi
|
|
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
23 |
|
|
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
24 |
split-html: images |
|
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
25 |
$(TEXI2HTML) ${CSS} ${SPLIT} manual.texi
|
|
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
26 |
|
|
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
27 |
pdf: images |
|
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
28 |
$(TEXI2PDF) manual.texi |
|
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
29 |
|
|
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
30 |
figures-clean: |
|
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
31 |
cd figures/; rm -rf $(DIA_EPS); rm -rf $(DIA_PNG); rm -rf $(DIA_PDF) |
|
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
32 |
|
|
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
33 |
clean: figures-clean |
|
eaa3a345b05e
Split out non-tutorial sections from tutorial; place into a doc/manual directory
Tom Henderson <tomh@tomh.org>
parents:
diff
changeset
|
34 |
rm -rf manual.aux manual.cp manual.cps manual.fn manual.ky manual.pg manual.tp manual.vr manual.toc manual.log manual.pdf manual.html manual/ |