From 676bb27205d7bbca3fe44f59abc8e170a0806a9c Mon Sep 17 00:00:00 2001 From: simonmar Date: Mon, 24 May 2004 08:35:41 +0000 Subject: [PATCH] [project @ 2004-05-24 08:35:41 by simonmar] Mention that ordering is important on the GHCi command line --- ghc/docs/users_guide/ghci.sgml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/ghc/docs/users_guide/ghci.sgml b/ghc/docs/users_guide/ghci.sgml index dc391c0..792f68b 100644 --- a/ghc/docs/users_guide/ghci.sgml +++ b/ghc/docs/users_guide/ghci.sgml @@ -779,6 +779,10 @@ $ ghci -lm (.o or .obj depending on your platform) from the command-line. Just add the name the object file to the command line. + + Ordering of options matters: a library + should be mentioned before the libraries it + depends on (see ). -- 1.7.10.4