Re: [Patch 5/5] Create pdf from all html files
From: Jeff King <hidden>
Date: 2016-06-15 22:54:57
On Sat, Oct 06, 2012 at 05:58:01PM +0200, Thomas Ackermann wrote:
- use wkhtmltopdf to combine all html files into a single pdf file "git-doc.pdf" - provide make target "fullpdf" to create "git-doc.pdf" Signed-off-by: Thomas Ackermann <redacted> --- Documentation/.gitignore | 1 + Documentation/Makefile | 9 +++++++++ Documentation/footerend.txt | 4 ++++ Documentation/footerstart.txt | 7 +++++++ Documentation/makedocpdf.sh | 25 +++++++++++++++++++++++++ Makefile | 6 ++++++ 6 files changed, 52 insertions(+) create mode 100644 Documentation/footerend.txt create mode 100644 Documentation/footerstart.txt create mode 100644 Documentation/makedocpdf.sh
The makedocpdf script has no execute bit, but...
quoted hunk ↗ jump to hunk
diff --git a/Documentation/Makefile b/Documentation/Makefile index abd27b5..c4c2a30 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile@@ -189,6 +189,9 @@ info: git.info gitman.info pdf: user-manual.pdf +fullpdf: pdf all + ./makedocpdf.sh
Here we try to run it. -Peff