[project @ 1997-09-19 10:43:24 by simonm]

minor updates now that happy is in ProjectsToBuild.

diff --git a/docs/installing.lit b/docs/installing.lit
index 49f3586..d5770a1 100644 (file)
--- a/docs/installing.lit
+++ b/docs/installing.lit
@@ -941,18 +941,18 @@ want to change.  (The override occurs because the main boilerplate file,
 
 For example, @config.mk.in@ contains the definition:
 \begin{verbatim}
-  ProjectsToBuild = glafp-utils literate ghc hslibs
+  ProjectsToBuild = glafp-utils literate happy ghc hslibs
 \end{verbatim}
 The accompanying comment explains that this is the list of enabled
 projects; that is, if (after configuring) you type @gmake all@
 in @FPTOOLS_TOP@ three specified projects will be made.
-If you want to add @happy@, you can add this line to @build.mk@:
+If you want to add @green-card@, you can add this line to @build.mk@:
 \begin{verbatim}
-  ProjectsToBuild += happy
+  ProjectsToBuild += green-card
 \end{verbatim}
 or, if you prefer,
 \begin{verbatim}
-  ProjectsToBuild = glafp-utils literate ghc hslibs happy
+  ProjectsToBuild = glafp-utils literate happy ghc hslibs green-card
 \end{verbatim}
 (GNU @make@ allows existing definitions to have new text appended using
 the ``@+=@'' operator, which is quite a convenient feature.)