diff options
author | Thomas Schneider <thosch97@gmail.com> | 2015-03-20 12:23:04 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2015-03-20 15:12:06 -0700 |
commit | 6c036d44e5bd9ebc3cb77cdfc1b53e8a7055d1c8 (patch) | |
tree | 893c3ab9d79e4b86ac50b8cfa1f16ae4f37d1446 | |
parent | 9874fca7122563e28d699a911404fc49d2a24f1c (diff) | |
download | git-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/Makefile | 9 |
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 $@+ $< && \ |