blob: 179e54645318831e9106add98e8efab2733454e0 (
plain)
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
|
# GPH - GNU Privacy Handbook
PARTS = manual.sgml c1.sgml c2.sgml c3.sgml c4.sgml c5.sgml c6.sgml \
signatures.fig
EXTRA_DIST = $(PARTS) index.html
BUILT_SOURCES = index.html
index.html: $(PARTS) signatures.jpg
db2html manual.sgml
cp signatures.jpg manual/signatures.jpg
echo '<html><body>' >index.html
echo '<ul>' >>index.html
echo '<li><a href="manual/book1.html">GnuPG User Manual</a>' >>index.html
echo '</ul>' >>index.html
echo '</body></html>' >>index.html
-rm -r manual.junk
(cd manual; rm -r stylesheet-images; ls | grep -v distfiles >distfiles)
%.dvi: %.sgml
db2dvi $<
%.ps: %.dvi
dvips -o $@ $<
%/%.html: %.sgml
db2html $<
%.png: %.fig
fig2dev -L png $< $@
%.jpg: %.fig
fig2dev -L jpeg $< $@
%.eps: %.fig
fig2dev -L ps $< $@
|
