Re: [Patch 5/5] Create pdf from all html files
On Sat, Oct 06, 2012 at 05:58:01PM +0200, Thomas Ackermann wrote:
Show 15 quoted lines
> - 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...
Show 10 quoted lines
> 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