From: Jeff King <peff@peff.net>
Date: Sat, 06 Oct 2012 19:11:52 GMT
Subject: Re: [Patch 5/5] Create pdf from all html files
Message-ID: <20121006191152.GC3644@sigill.intra.peff.net>
In-Reply-To: <1206625172.269796.1349539081024.JavaMail.ngmail@webmail08.arcor-online.net>

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 <th.acker@arcor.de>
> ---
>  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...

> 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