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 @@
       <h1>Recoll user manual</h1>
       
       <ul>
-      <li><a href="usermanual/index.html">English</a></li>
+      <li><a href="usermanual/index.html">English, HTML</a></li>
+      <li><a href="usermanual/recoll_user_manual.pdf">English, PDF</a></li>
       <li><a href="http://mcz.altervista.org/Pagine/usermanual-italian.html">
 	  Italian (rather old)</a></li>
       </ul>