chiark
/
gitweb
/
~ianmdlvl
/
developers-reference.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
tweaked
[developers-reference.git]
/
Makefile
diff --git
a/Makefile
b/Makefile
index 3be98ddc46ea88cd718285d44f78cf7c13f7c105..c14e1e833cdac2a29e34f11c780a86c23818b425 100644
(file)
--- a/
Makefile
+++ b/
Makefile
@@
-17,6
+17,10
@@
DEBIANDOC2LATEX := debiandoc2latex
DEBIANDOC2PS := debiandoc2latexps
DEBIANDOC2PDF := debiandoc2latexpdf
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
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
$(PUBLISHDIR)/$(MANUAL)
developers-reference.html: developers-reference.sgml
+ $(add_pdf_link)
$(DEBIANDOC2HTML) -l en $<
$(DEBIANDOC2HTML) -l en $<
+ $(remove_pdf_link)
developers-reference.html/*: developers-reference.html
developers-reference.html/*: developers-reference.html