user-manual: Recommend --prepend-library.

diff --git a/doc/user-manual/user.texinfo b/doc/user-manual/user.texinfo
index d7b36cc379ffd81ce4d9a75de6b175a5d93bfdee..d271b5bea47c83cf2701324daabaf377c96ee9c9 100644 (file)
--- 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)