summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Schneider <thosch97@gmail.com>2015-03-20 12:23:04 +0100
committerJunio C Hamano <gitster@pobox.com>2015-03-20 15:12:06 -0700
commit6c036d44e5bd9ebc3cb77cdfc1b53e8a7055d1c8 (patch)
tree893c3ab9d79e4b86ac50b8cfa1f16ae4f37d1446
parent9874fca7122563e28d699a911404fc49d2a24f1c (diff)
downloadgit-ts/man-pdf.tar.gz
Documentation: make 'make pdf' format manpages to PDF as wellts/man-pdf
In addition to the user-manual, use dblatex also format the manual pages to PDF. Signed-off-by: Thomas Schneider <thosch97@gmail.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>
-rw-r--r--Documentation/Makefile9
1 files changed, 8 insertions, 1 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile
index 3e39e2815b..158cbd9b8c 100644
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -38,6 +38,7 @@ MAN7_TXT += gitworkflows.txt
MAN_TXT = $(MAN1_TXT) $(MAN5_TXT) $(MAN7_TXT)
MAN_XML = $(patsubst %.txt,%.xml,$(MAN_TXT))
MAN_HTML = $(patsubst %.txt,%.html,$(MAN_TXT))
+MAN_PDF = $(patsubst %.txt,%.pdf,$(MAN_TXT))
OBSOLETE_HTML += everyday.html
OBSOLETE_HTML += git-remote-helpers.html
@@ -223,7 +224,7 @@ man7: $(DOC_MAN7)
info: git.info gitman.info
-pdf: user-manual.pdf
+pdf: user-manual.pdf $(MAN_PDF)
install: install-man
@@ -248,6 +249,7 @@ install-info: info
install-pdf: pdf
$(INSTALL) -d -m 755 $(DESTDIR)$(pdfdir)
$(INSTALL) -m 644 user-manual.pdf $(DESTDIR)$(pdfdir)
+ $(INSTALL) -m 644 $(MAN_PDF) $(DESTDIR)$(pdfdir)
install-html: html
'$(SHELL_PATH_SQ)' ./install-webdoc.sh $(DESTDIR)$(htmldir)
@@ -328,6 +330,11 @@ manpage-base-url.xsl: manpage-base-url.xsl.in
$(QUIET_XMLTO)$(RM) $@ && \
$(XMLTO) -m $(MANPAGE_XSL) $(XMLTO_EXTRA) man $<
+%.pdf: %.xml
+ $(QUIET_DBLATEX)$(RM) $@+ $@ && \
+ $(DBLATEX) -o $@+ -p $(ASCIIDOC_DBLATEX_DIR)/asciidoc-dblatex.xsl -s $(ASCIIDOC_DBLATEX_DIR)/asciidoc-dblatex.sty $< && \
+ mv $@+ $@
+
%.xml : %.txt asciidoc.conf
$(QUIET_ASCIIDOC)$(RM) $@+ $@ && \
$(TXT_TO_XML) -d manpage -o $@+ $< && \