On Wed, 8 Feb 2017, Gerald Pfeifer wrote:
> So, both are okay.
Except http://riscv.org actually redirects to https://riscv.org . :-}
Fixed thusly.
Gerald
Index: index.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/index.html,v
retrieving revision 1.1043
diff -u -r1.1043 index.html
--- index.html 3 Feb 2017 20:39:15 -0000 1.1043
+++ index.html 8 Feb 2017 17:01:33 -0000
@@ -48,7 +48,7 @@
<dt><span>RISC-V support</span>
<span class="date">[2017-02-02]</span></dt>
- <dd>Support for the <a href="http://riscv.org";>RISC-V ISA</a> was added,
contributed by Palmer Dabbelt and Andrew Waterman.</dd>
+ <dd>Support for the <a href="https://riscv.org";>RISC-V ISA</a> was added,
contributed by Palmer Dabbelt and Andrew Waterman.</dd>
<dt><span>BRIG/HSAIL (Heterogeneous Systems Architecture Intermediate
Language) frontend added</span>
<span class="date">[2017-02-01]</span></dt>
