summaryrefslogtreecommitdiff
path: root/en/partitioning/schemes.xml
diff options
context:
space:
mode:
authorFrans Pop <elendil@planet.nl>2006-07-30 15:03:12 +0000
committerFrans Pop <elendil@planet.nl>2006-07-30 15:03:12 +0000
commit549410e15b28137b76dc86e32ca5935d8000e8d0 (patch)
tree610a038a0a33fb87088df1fcc18ee20907d1f9db /en/partitioning/schemes.xml
parent0032fa24fbaaf134756497d26454cac133304ffa (diff)
downloadinstallation-guide-549410e15b28137b76dc86e32ca5935d8000e8d0.zip
More corrections suggested by Clytie Siddall
Diffstat (limited to 'en/partitioning/schemes.xml')
-rw-r--r--en/partitioning/schemes.xml2
1 files changed, 1 insertions, 1 deletions
diff --git a/en/partitioning/schemes.xml b/en/partitioning/schemes.xml
index 6924cc3e7..e1297d1d9 100644
--- a/en/partitioning/schemes.xml
+++ b/en/partitioning/schemes.xml
@@ -28,7 +28,7 @@ you plan to install many programs that are not part of the Debian
distribution. If your machine will be a mail server, you might need
to make <filename>/var/mail</filename> a separate partition. Often,
putting <filename>/tmp</filename> on its own partition, for instance
-20 to 50MB, is a good idea. If you are setting up a server with lots
+20&ndash;50MB, is a good idea. If you are setting up a server with lots
of user accounts, it's generally good to have a separate, large
<filename>/home</filename> partition. In general, the partitioning
situation varies from computer to computer depending on its uses.