From: Matt Birkholz <matt@birchwood-abbey.net>
Date: Tue, 3 Jul 2018 13:41:55 +0000 (-0500)
Subject: user-manual: Recommend --prepend-library.
X-Git-Tag: mit-scheme-pucked-9.2.16~4
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=8c162da602bdcad919a82c8134a3704deddc0e2a;p=mit-scheme.git

user-manual: Recommend --prepend-library.
---

diff --git a/doc/user-manual/user.texinfo b/doc/user-manual/user.texinfo
index d7b36cc37..d271b5bea 100644
--- a/doc/user-manual/user.texinfo
+++ b/doc/user-manual/user.texinfo
@@ -4282,10 +4282,10 @@ export MITSCHEME_LIBRARY_PATH=~/pucked:/opt/lib/mit-scheme-pucked
 @end example
 
 @noindent
-or including the @code{--library} option on the command line.
+or including the @code{--prepend-library} option on the command line.
 
 @example
-mit-scheme-pucked --library ~/pucked:/opt/lib/mit-scheme-pucked
+mit-scheme-pucked --prepend-library ~/pucked
 @end example
 
 The build will fail if the required plugins (Cairo, Pango and GLib)