From 73c6787ffbab39fecf211f6075cefab0275debaa Mon Sep 17 00:00:00 2001 From: Jean-Francois Dockes Date: Thu, 28 Apr 2011 12:25:04 +0200 Subject: [PATCH] pdf manual --- src/doc/user/Makefile | 2 +- website/copydocs | 1 + website/doc.html | 3 ++- 3 files changed, 4 insertions(+), 2 deletions(-) diff --git a/src/doc/user/Makefile b/src/doc/user/Makefile index 50b83c29..5c1d49fb 100644 --- a/src/doc/user/Makefile +++ b/src/doc/user/Makefile @@ -7,7 +7,7 @@ MAINTAINER=jfd@recoll.org DOC?= usermanual LANGCODE?= en_US.ISO_8859-1 -FORMATS?= html txt html-split +FORMATS?= html txt html-split pdf JADEFLAGS+= -V %generate-article-toc% # The purpose for this is to replace the FreeBSD file which contains the diff --git a/website/copydocs b/website/copydocs index ee7e80c8..0acb8a89 100644 --- a/website/copydocs +++ b/website/copydocs @@ -11,6 +11,7 @@ cd usermanual thisdir=`pwd` (cd $docdir; find . -name '*.html' -print | cpio -vudp $thisdir) cp $docdir/docbook.css . +cp $docdir/usermanual.pdf recoll_user_manual.pdf # The freebsd tool chain generates a link to book.html in the index. Too # lazy to check if this can be changed cp usermanual.html book.html diff --git a/website/doc.html b/website/doc.html index 53e5a3d6..fcffad53 100644 --- a/website/doc.html +++ b/website/doc.html @@ -33,7 +33,8 @@

Recoll user manual