diff mbox series

[pushed] wwwdocs: onlinedocs: Fix markup

Message ID 20230507084244.61D6433E6C@hamza.pair.com
State New
Headers show
Series [pushed] wwwdocs: onlinedocs: Fix markup | expand

Commit Message

Gerald Pfeifer May 7, 2023, 8:42 a.m. UTC
Pushed.

Gerald

---

Commit 7c0b3155efaecf8c9bfa5192ca99acc7356bec71 for GCC 13.1 "stole" an
opening <details open> from the existing GCC 13.2 entry.
---
 htdocs/onlinedocs/index.html | 1 +
 1 file changed, 1 insertion(+)
diff mbox series

Patch

diff --git a/htdocs/onlinedocs/index.html b/htdocs/onlinedocs/index.html
index 421d1d0b..e72f5bfa 100644
--- a/htdocs/onlinedocs/index.html
+++ b/htdocs/onlinedocs/index.html
@@ -111,6 +111,7 @@ 
   </ul>
 </details>
 
+<details open>
  <summary>GCC 12.2 manuals:</summary>
   <ul>
     <li><a href="https://gcc.gnu.org/onlinedocs/gcc-12.2.0/gcc/">GCC