docs: https all the links \o/

Most of them already redirected to https anyway, so we might as well
avoid the redirection and the security implications by linking directly
to the right protocol.

Signed-off-by: Eric Engestrom <eric@engestrom.ch>
Reviewed-by: Brian Paul <brianp@vmware.com>
diff --git a/docs/codingstyle.html b/docs/codingstyle.html
index 4dfb0cc..e5a92b0 100644
--- a/docs/codingstyle.html
+++ b/docs/codingstyle.html
@@ -58,7 +58,7 @@
 
 <li>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="http://www.stack.nl/~dimitri/doxygen/">Doxygen</a> conventions.
+follow <a href="https://www.stack.nl/~dimitri/doxygen/">Doxygen</a> conventions.
 <br>
 <br>
 Single-line comments: