diff --git a/README b/README
index 73339a80..54d84dba 100644
--- a/README
+++ b/README
@@ -3,3 +3,6 @@ HyperDex is a distributed, searchable, and consistent key-value store.
 More information is available at http://hyperdex.org/
 
 Installation instructions available under doc/
+
+Compiled HyperDex Reference Manual available at
+https://github.com/rescrv/HyperDex/blob/master/doc/hyperdex.pdf
diff --git a/doc/hyperdex.dvi b/doc/hyperdex.dvi
new file mode 100644
index 00000000..08a80914
Binary files /dev/null and b/doc/hyperdex.dvi differ
diff --git a/doc/hyperdex.pdf b/doc/hyperdex.pdf
new file mode 100644
index 00000000..4340625c
Binary files /dev/null and b/doc/hyperdex.pdf differ
diff --git a/doc/hyperdex.ps b/doc/hyperdex.ps
new file mode 100644
index 00000000..41e18ea8
Binary files /dev/null and b/doc/hyperdex.ps differ
diff --git a/doc/hyperdex.tex b/doc/hyperdex.tex
index bade17bd..267374f0 100644
--- a/doc/hyperdex.tex
+++ b/doc/hyperdex.tex
@@ -21,6 +21,7 @@
 \usepackage[binary,squaren]{SIunits}
 \usetikzlibrary{arrows}
 \usetikzlibrary{decorations.markings}
+\date{January 12, 2015}
 \usepackage{makeidx}
 
 \makeindex