From 57d3c7c8a8523e375d49d2ac036210b6dcf7ec9c Mon Sep 17 00:00:00 2001 From: simonpj Date: Thu, 24 Jul 2003 07:44:21 +0000 Subject: [PATCH] [project @ 2003-07-24 07:44:21 by simonpj] Add cross refs --- ghc/docs/users_guide/separate_compilation.sgml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/ghc/docs/users_guide/separate_compilation.sgml b/ghc/docs/users_guide/separate_compilation.sgml index 713b6a3..3192e66 100644 --- a/ghc/docs/users_guide/separate_compilation.sgml +++ b/ghc/docs/users_guide/separate_compilation.sgml @@ -96,7 +96,7 @@ hidir is the value of the option if - one was given (see below), or + one was given (), or root-path otherwise. @@ -104,7 +104,7 @@ hisuf is the value of the option if - one was given (see below), or hi + one was given (), or hi otherwise. @@ -113,7 +113,7 @@ odir is the value of the option if - one was given (see below), or + one was given (), or root-path otherwise. @@ -121,7 +121,7 @@ osuf is the value of the option if - one was given (see below), or o + one was given (), or o otherwise (obj on Windows). -- 1.7.10.4