diff options
author | Erik Faye-Lund <[email protected]> | 2019-05-28 13:20:29 +0200 |
---|---|---|
committer | Erik Faye-Lund <[email protected]> | 2019-06-05 23:48:44 +0200 |
commit | d60dc5d16f2f8947555e08c0745efcdc5dbb1e64 (patch) | |
tree | e475b191d5ad212dc02ca9feedd2b7e5b2ff3db5 /docs | |
parent | 9a65de343ec0db28755ee922c9e14ae633024f11 (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]>
Diffstat (limited to 'docs')
-rw-r--r-- | docs/codingstyle.html | 6 |
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 */ |