From: rrt <unknown>
Date: Wed, 14 Mar 2001 10:13:30 +0000 (+0000)
Subject: [project @ 2001-03-14 10:13:30 by rrt]
X-Git-Tag: Approximately_9120_patches~2418
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=075f14ca8a0f98cd56a1b383116b48efa7e1f13e

[project @ 2001-03-14 10:13:30 by rrt]
Ban /tmp. TMPDIR r00lz!
---

diff --git a/docs/building/building.sgml b/docs/building/building.sgml
index 3753f2e..46bc370 100644
--- a/docs/building/building.sgml
+++ b/docs/building/building.sgml
@@ -2468,7 +2468,7 @@ WARNINGS about pitfalls and known ``problems'':
 
 <para>
 One difficulty that comes up from time to time is running out of space
-in <filename>/tmp</filename>.  (It is impossible for the configuration stuff to
+in <literal>TMPDIR</literal>.  (It is impossible for the configuration stuff to
 compensate for the vagaries of different sysadmin approaches to temp
 space.)
 <IndexTerm><Primary>tmp, running out of space in</Primary></IndexTerm>