From 1a4aa4a63c5332c13611ac48ae48662c2270ddf5 Mon Sep 17 00:00:00 2001
From: Michael Wolf <maw@pobox.com>
Date: Sat, 29 Jun 2013 11:11:39 -0500
Subject: [PATCH] add some more info to the readme

---
 README.md | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index ac2ecf2..2eb2a20 100644
--- a/README.md
+++ b/README.md
@@ -49,4 +49,14 @@ http://libre.adacore.com/download/configurations and, still in OSX, I frob
         export PS1=$PRE_GNAT_PS1
         echo "done."
     }
-    
\ No newline at end of file
+
+Once I have gnat installed and in my PATH, I say
+
+    gnatmake -O3 words
+    gnatmake -O3 makedict
+    gnatmake -O3 makestem
+    gnatmake -O3 makeewds
+    gnatmake -O3 makeefil
+    gnatmake -O3 makeinfl
+
+There is more info that I don't properly understand in the file HOWTO.txt.
\ No newline at end of file