mirror of
git://git.gnupg.org/gnupg.git
synced 2024-05-31 22:18:03 +02:00
39 lines
779 B
Makefile
39 lines
779 B
Makefile
|
# 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 $< $@
|
||
|
|