chiark / gitweb /
tweaked
[developers-reference.git] / Makefile
index 3be98ddc46ea88cd718285d44f78cf7c13f7c105..c14e1e833cdac2a29e34f11c780a86c23818b425 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -17,6 +17,10 @@ DEBIANDOC2LATEX      := debiandoc2latex
 DEBIANDOC2PS   := debiandoc2latexps
 DEBIANDOC2PDF  := debiandoc2latexpdf
 
+# this hint is for adding a link to the pdf version
+add_pdf_link   := patch -p0 < add_pdf_link.diff
+remove_pdf_link        := patch -p0 -R < add_pdf_link.diff
+
 make_directory := install -d -m 755
 install_file   := install -m 644 -p
 
@@ -41,7 +45,9 @@ publish:      all
           $(PUBLISHDIR)/$(MANUAL)
 
 developers-reference.html:     developers-reference.sgml
+       $(add_pdf_link)
        $(DEBIANDOC2HTML) -l en $<
+       $(remove_pdf_link)
 
 developers-reference.html/*:   developers-reference.html