add a list of tools needed to build the report
authorSimon Marlow <marlowsd@gmail.com>
Thu, 20 Mar 2008 21:36:33 +0000 (21:36 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Thu, 20 Mar 2008 21:36:33 +0000 (21:36 +0000)
README

diff --git a/README b/README
index 1f5148c..c1c81c3 100644 (file)
--- a/README
+++ b/README
@@ -1,6 +1,13 @@
 Notes on building the report
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
+Tools needed: 
+      
+      * flex
+      * GHC
+      * TeX (install "tetex" on a Linux distribution to get everything
+        you need).
+
 Firstly:
 
         $ cd tools