diff options
author | Julian Andres Klode <julian.klode@canonical.com> | 2019-02-11 09:36:10 +0100 |
---|---|---|
committer | Julian Andres Klode <julian.klode@canonical.com> | 2019-02-11 09:36:10 +0100 |
commit | 38eeaec814307aa0b6dc39ee9119235c13333acf (patch) | |
tree | 95876cfdc6bc410349804a7892ed26999a85cfb0 /doc/guide.dbk | |
parent | 08fe18cccff68fbaf35bd3251f37cee524c073f6 (diff) | |
parent | 3b169b6d1d2111765f57e2f5e6279e99ae523cde (diff) |
Merge tag '1.8.0_rc3'
apt Debian release 1.8.0~rc3
Diffstat (limited to 'doc/guide.dbk')
-rw-r--r-- | doc/guide.dbk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/guide.dbk b/doc/guide.dbk index dbc4f5431..ab4b0c6d0 100644 --- a/doc/guide.dbk +++ b/doc/guide.dbk @@ -231,7 +231,7 @@ use packages on your CD-ROM before downloading from the Internet. </screen> <para> The <emphasis>Sources</emphasis> setup starts by asking for the base of the -Debian archive, defaulting to a HTTP mirror. Next it asks for the distribution +Debian archive, defaulting to an HTTP mirror. Next it asks for the distribution to get. </para> <screen> |