doc/Makefile.am, doc/README.pdf: Commit and distribute formatted README.

This is hard to produce for people who aren't me.

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 6bab64069f8428b7804347ae7bf2e3adc28d5543..86bea4a8513f83c536bdb9d75fc4dbab301ae8cb 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -29,4 +29,6 @@ EXTRA_DIST            += bench.data
 EXTRA_DIST             += lisp-graph.tikz
 EXTRA_DIST             += interp-graph.tikz
 
+EXTRA_DIST             += README.pdf
+
 ###----- That's all, folks --------------------------------------------------

diff --git a/doc/README.pdf b/doc/README.pdf
new file mode 100644 (file)
index 0000000..6c8d02d
Binary files /dev/null and b/doc/README.pdf differ