diff options
Diffstat (limited to 'doc/gph/Makefile.am')
| -rw-r--r-- | doc/gph/Makefile.am | 19 |
1 files changed, 16 insertions, 3 deletions
diff --git a/doc/gph/Makefile.am b/doc/gph/Makefile.am index 179e54645..87e4d9fc1 100644 --- a/doc/gph/Makefile.am +++ b/doc/gph/Makefile.am @@ -1,12 +1,18 @@ # GPH - GNU Privacy Handbook -PARTS = manual.sgml c1.sgml c2.sgml c3.sgml c4.sgml c5.sgml c6.sgml \ +PARTS = manual.sgml c1.sgml c2.sgml c3.sgml c4.sgml c5.sgml c6.sgml c7.sgml \ signatures.fig EXTRA_DIST = $(PARTS) index.html -BUILT_SOURCES = index.html +#BUILT_SOURCES = index.html -index.html: $(PARTS) signatures.jpg +dummy: + +index.html: $(PARTS) ./signatures.jpg + @set -e; \ + for i in $(PARTS); do \ + [ -f $$i ] || cat /dev/null $(srcdir)/$$i >./$$i ; \ + done db2html manual.sgml cp signatures.jpg manual/signatures.jpg echo '<html><body>' >index.html @@ -17,6 +23,13 @@ index.html: $(PARTS) signatures.jpg -rm -r manual.junk (cd manual; rm -r stylesheet-images; ls | grep -v distfiles >distfiles) +signatures.jpg: $(srcdir)/signatures.fig + fig2dev -L jpeg $(srcdir)/signatures.fig signatures.jpg + +dist-hook: index.html + + + %.dvi: %.sgml db2dvi $< |