summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorErik Faye-Lund <[email protected]>2019-05-02 20:47:55 +0200
committerErik Faye-Lund <[email protected]>2019-05-08 07:18:15 +0000
commit7809331cb9e98e2c37657b1f1c7fda0c2ea973b4 (patch)
treeebc0df437293161dce5f11a2692221fd6a0e658a
parent7421fdf68a31ee46f0775e0589fd2c42ef877d0d (diff)
docs: remove pointless list-entry
It's quite visible that there's more docs below, we don't need to spell it out for the reader. Signed-off-by: Erik Faye-Lund <[email protected]> Reviewed-by: Eric Engestrom <[email protected]>
-rw-r--r--docs/contents.html1
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/contents.html b/docs/contents.html
index 5d82a77b709..ed1150e8669 100644
--- a/docs/contents.html
+++ b/docs/contents.html
@@ -38,7 +38,6 @@
<li><a href="relnotes.html" target="_parent">Release Notes</a>
<li><a href="thanks.html" target="_parent">Acknowledgements</a>
<li><a href="conform.html" target="_parent">Conformance Testing</a>
-<li>more docs below...
</ul>
<h2>Download / Install</h2>