From 561b3263108252143e22568caf82f0f151a29430 Mon Sep 17 00:00:00 2001 From: simonmar Date: Thu, 15 Mar 2001 16:17:24 +0000 Subject: [PATCH] [project @ 2001-03-15 16:17:24 by simonmar] markup wibble --- ghc/docs/users_guide/utils.sgml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ghc/docs/users_guide/utils.sgml b/ghc/docs/users_guide/utils.sgml index 5cc4033..d130c71 100644 --- a/ghc/docs/users_guide/utils.sgml +++ b/ghc/docs/users_guide/utils.sgml @@ -243,7 +243,7 @@ tags: () [] {} '' "" /* */. Any character may be preceded by a backslash and will not be treated specially. - #{stuff} is equivalent + In addition #{stuff} is equivalent to #stuff except that it's self-delimited and thus needs not to be placed at the end of line or in some brackets. -- 1.7.10.4