From d7d0c9fc6d4ee57eeaefec11a09d2cc61200d2dc Mon Sep 17 00:00:00 2001
From: simonm <unknown>
Date: Fri, 19 Sep 1997 10:43:24 +0000
Subject: [PATCH] [project @ 1997-09-19 10:43:24 by simonm] minor updates now
that happy is in ProjectsToBuild.
---
docs/installing.lit | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/docs/installing.lit b/docs/installing.lit
index 49f3586f84b4..d5770a1cf640 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.)
--
GitLab