diff options
author | Jakub Wilk <jwilk@jwilk.net> | 2019-02-10 12:51:30 +0100 |
---|---|---|
committer | David Kalnischkies <david@kalnischkies.de> | 2019-02-10 13:16:27 +0100 |
commit | 9a702b150c8ddeafa8c10c9f120dafdeb08ef93b (patch) | |
tree | 5ec43fb1644e1a9a96d4f14bbe701503c0a507aa /doc/guide.dbk | |
parent | 55d0eea08198b6da420eeda28e825122e9ee3666 (diff) |
Fix various typos in the documentation
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> |