summaryrefslogtreecommitdiff
path: root/it/partitioning/schemes.xml
diff options
context:
space:
mode:
Diffstat (limited to 'it/partitioning/schemes.xml')
-rw-r--r--it/partitioning/schemes.xml4
1 files changed, 2 insertions, 2 deletions
diff --git a/it/partitioning/schemes.xml b/it/partitioning/schemes.xml
index 2117b6f0b..e3c818616 100644
--- a/it/partitioning/schemes.xml
+++ b/it/partitioning/schemes.xml
@@ -1,6 +1,6 @@
<?xml version="1.0" encoding="ISO-8859-1"?>
<!-- retain these comments for translator revision tracking -->
-<!-- original version: 31069 -->
+<!-- original version: 39465 -->
<sect1>
@@ -50,7 +50,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.