diff options
author | Luca Monducci <luca.mo@tiscali.it> | 2022-06-11 11:52:38 +0200 |
---|---|---|
committer | Luca Monducci <luca.mo@tiscali.it> | 2022-06-11 11:52:38 +0200 |
commit | 0352601c5e0d6e960ffa0c05a4c5dc054d1897ba (patch) | |
tree | abdcf4ba16ec5c74366e76a5cf88f0ee65e06cfb /english/doc | |
parent | aa2052eed36fc33f801184d7384b31321d024b42 (diff) |
Add missing <ul>
Diffstat (limited to 'english/doc')
-rw-r--r-- | english/doc/index.wml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/english/doc/index.wml b/english/doc/index.wml index e55e7a80344..c98072d6de9 100644 --- a/english/doc/index.wml +++ b/english/doc/index.wml @@ -39,6 +39,7 @@ system. Later, you might want to go through these documents: </p> +<ul> <li><a href="manuals/debian-reference/">Debian Reference</a>: a terse user guide, focussing on shell commands</li> <li><a href="$(HOME)/releases/stable/releasenotes">Release Notes</a>: usually published with Debian updates, aiming at users upgrading the distribution</li> <li><a href="https://wiki.debian.org/">Debian Wiki</a>: official Debian wiki and a good source of information for newcomers</li> |