From ab18122522a973b72ae8154fc1fb1a01198d8558 Mon Sep 17 00:00:00 2001 From: simonpj Date: Fri, 2 Nov 2001 10:35:14 +0000 Subject: [PATCH] [project @ 2001-11-02 10:35:14 by simonpj] Stingy -> thrifty --- ghc/docs/users_guide/sooner.sgml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/ghc/docs/users_guide/sooner.sgml b/ghc/docs/users_guide/sooner.sgml index 76682d5..e884f0d 100644 --- a/ghc/docs/users_guide/sooner.sgml +++ b/ghc/docs/users_guide/sooner.sgml @@ -1,5 +1,5 @@ -Advice on: sooner, faster, smaller, stingier +<Title>Advice on: sooner, faster, smaller, thriftier @@ -536,8 +536,8 @@ Use strip on your executables. - -Stingier: producing a program that gobbles less heap space +<Sect1 id="thriftier"> +<Title>Thriftier: producing a program that gobbles less heap space -- 1.7.10.4