summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorErik Faye-Lund <[email protected]>2019-05-28 13:20:29 +0200
committerErik Faye-Lund <[email protected]>2019-06-05 23:48:44 +0200
commitd60dc5d16f2f8947555e08c0745efcdc5dbb1e64 (patch)
treee475b191d5ad212dc02ca9feedd2b7e5b2ff3db5
parent9a65de343ec0db28755ee922c9e14ae633024f11 (diff)
docs: use paragraph instead of double newlines
This is a bit more semantically clean in HTML, and makes us keep content and presentation a bit more separated. Signed-off-by: Erik Faye-Lund <[email protected]> Reviewed-by: Emil Velikov <[email protected]> Reviewed-by: Eric Engestrom <[email protected]>
-rw-r--r--docs/codingstyle.html6
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/codingstyle.html b/docs/codingstyle.html
index 3284ca6970e..66ffc0c33bf 100644
--- a/docs/codingstyle.html
+++ b/docs/codingstyle.html
@@ -56,11 +56,11 @@ and not <tt>a=b+c;</tt>
indent -br -i3 -npcs --no-tabs infile.c -o outfile.c
</pre>
-<li>Use comments wherever you think it would be helpful for other developers.
+<li>
+<p>Use comments wherever you think it would be helpful for other developers.
Several specific cases and style examples follow. Note that we roughly
follow <a href="https://www.stack.nl/~dimitri/doxygen/">Doxygen</a> conventions.
-<br>
-<br>
+</p>
Single-line comments:
<pre>
/* null-out pointer to prevent dangling reference below */