diff --git a/docs/installing.lit b/docs/installing.lit
index 49f3586f84b44c9cf80866dfaa126eefe51526a4..d5770a1cf64082414809bc21e6d80b538bfcccf7 100644
--- 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.)