diff options
author | Thomas Lange <lange@debian.org> | 2023-10-14 10:36:53 +0200 |
---|---|---|
committer | Thomas Lange <lange@debian.org> | 2023-10-14 10:36:53 +0200 |
commit | 4aa079b898965491e158f61a579a559dc3dc7578 (patch) | |
tree | 6e5caba5ba9a9fa9a1fd08f7f927d00c9c5d9be3 /english/doc | |
parent | d7c983f6f94d86615a32a9f670e533d269b27bb7 (diff) |
remove toc, no need if we only have one entry
Diffstat (limited to 'english/doc')
-rw-r--r-- | english/doc/ddp.wml | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/english/doc/ddp.wml b/english/doc/ddp.wml index c28cffe34b4..28931380a3a 100644 --- a/english/doc/ddp.wml +++ b/english/doc/ddp.wml @@ -2,11 +2,6 @@ <link href="$(HOME)/font-awesome.css" rel="stylesheet" type="text/css"> -<ul class="toc"> - <li><a href="#ddp_work">Our Work</a></li> -</ul> - - <aside> <p><span class="fas fa-caret-right fa-3x"></span> The Debian Documentation Project (DDP) takes care of Debian's documentation, for example the users' and developers' manuals, various handbooks, FAQs, and release notes. This page offers a quick overview of the DDP's work.</p> </aside> |