From: Chris Hanson <org/chris-hanson/cph>
Date: Sun, 6 Jan 2019 01:46:17 +0000 (-0800)
Subject: Eliminate obsolete comment from user manual.
X-Git-Tag: mit-scheme-pucked-10.1.9~3^2~25
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=61feac5f33c57dfe31b5b956a0d397ae928fabec;p=mit-scheme.git

Eliminate obsolete comment from user manual.
---

diff --git a/doc/user-manual/user.texinfo b/doc/user-manual/user.texinfo
index 712883ddb..54f90ccb2 100644
--- a/doc/user-manual/user.texinfo
+++ b/doc/user-manual/user.texinfo
@@ -1758,9 +1758,6 @@ notification is turned on, turns it off; otherwise turns it on.
 @node Compiling Programs
 @chapter Compiling Programs
 
-Note: the procedures described in this section are only available when
-the @option{--compiler} command-line option is specified.
-
 @menu
 * Compilation Procedures::
 * Declarations::