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.ac...@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 -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
