summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authortgoodwin <tgoodwin>1998-02-12 13:03:02 +0000
committerToby Goodwin <toby@paccrat.org>2015-05-16 21:23:03 +0100
commit02d9475165e3b52bce47b0699fb8a9f67da4f0f4 (patch)
tree74673817f85a800c84d1579776d9681cbc78ff1a
parent011f34043daf8d2de2ae3d6131acf06ee6ca6d4c (diff)
prompt printing now fixed; don't need to document bug
-rw-r--r--INSTALL4
1 files changed, 1 insertions, 3 deletions
diff --git a/INSTALL b/INSTALL
index fc6ac61..f975f34 100644
--- a/INSTALL
+++ b/INSTALL
@@ -118,9 +118,7 @@ and if you have either of those you probably don't want to bother with
After you've built rc, you may wish to run it through a test script
to see that everything is ok. Type `make trip' for this. This will
produce some output, and end with "trip is complete". If the trip ends
-with "trip took a wrong turn..." please contact the maintainer. (If
-you've built in either of the command line history libraries, the trip
-will fail near the end with `trip took a wrong turn: dot -i'.)
+with "trip took a wrong turn..." please contact the maintainer.
YACC