diff options
author | Wenbin Lv <wenbin816@gmail.com> | 2022-01-15 22:13:01 +0800 |
---|---|---|
committer | Wenbin Lv <wenbin816@gmail.com> | 2022-01-15 22:13:01 +0800 |
commit | 0a27e08a6c22112dbd96c5925356b4609db6e49d (patch) | |
tree | 1cee15f448b16ee6af558b1e2788490313f9685e /english/doc | |
parent | a16e4e13377b52626d9f2aaf59ee44546181fe04 (diff) |
add a paragraph about availability of manuals on /doc/index
Diffstat (limited to 'english/doc')
-rw-r--r-- | english/doc/index.wml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/english/doc/index.wml b/english/doc/index.wml index 7f417dbfbe5..d4a903b4421 100644 --- a/english/doc/index.wml +++ b/english/doc/index.wml @@ -55,6 +55,11 @@ These documents come in these basic categories:</p> <p>The manuals resemble books, because they comprehensively describe major topics.</p> +<p>Many of the manuals listed here are available both online and in Debian +packages; in fact, most of the manuals on the website are extracted from +their respective Debian packages. Choose a manual below for its package +name and/or links to the online versions.</p> + <h3>Manuals specific to Debian</h3> <div class="line"> |