From 8c162da602bdcad919a82c8134a3704deddc0e2a Mon Sep 17 00:00:00 2001
From: Matt Birkholz <matt@birchwood-abbey.net>
Date: Tue, 3 Jul 2018 08:41:55 -0500
Subject: [PATCH] user-manual: Recommend --prepend-library.

---
 doc/user-manual/user.texinfo | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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)
-- 
2.25.1