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