summaryrefslogtreecommitdiff
path: root/en/partitioning/schemes.xml
diff options
context:
space:
mode:
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.