blob: 56e08cdf785fca1361628dcb3bc71e861f452066 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
all: tutorial.pdf tutorial.html
tutorial.pdf: arch.pdf tutorial.texi
texi2pdf tutorial.texi
tutorial.html: arch.jpg tutorial.texi
texi2html tutorial.texi
arch.pdf: arch.dot
dot -Tpdf arch.dot > arch.pdf
arch.jpg: arch.dot
dot -Tjpg arch.dot > arch.jpg
clean:
rm -f arch.jpg arch.pdf tutorial.html tutorial.pdf
info_TEXINFOS = tutorial.texi
manual_TEXINFOS = version.texi
|