diff --git a/docs.html b/docs.html
index b5fb5c90..9f6cce52 100644
--- a/docs.html
+++ b/docs.html
@@ -87,6 +87,9 @@
       <li>
 	<a href="html/">HTML</a>
       </li>
+      <li>
+        <a href="sane.pdf">Portable Document Format (PDF)</a>
+      </li>
       <li>
 	<a href="sane.ps">PostScript</a>
       </li>
diff --git a/sane.pdf b/sane.pdf
new file mode 100644
index 00000000..1914ea44
Binary files /dev/null and b/sane.pdf differ