gcc-wwwdocs branch master updated. cb7e6cbe56b65b665e7abbedf66b271a87b39e1b

gcc-wwwdocs branch master updated. cb7e6cbe56b65b665e7abbedf66b271a87b39e1b

[Gerald Pfeifer]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gcc-wwwdocs".

The branch, master has been updated
       via  cb7e6cbe56b65b665e7abbedf66b271a87b39e1b (commit)
      from  ce8961b192b8f29055609cbd7c2fc10d105cd340 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit cb7e6cbe56b65b665e7abbedf66b271a87b39e1b
Author: Gerald Pfeifer <gerald@pfeifer.com>
Date:   Sun May 7 10:40:53 2023 +0200

    onlinedocs: Fix markup
    
    Commit 7c0b3155efaecf8c9bfa5192ca99acc7356bec71 for GCC 13.1 "stole" an
    opening <details open> from the existing GCC 13.2 entry.

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

-----------------------------------------------------------------------

Summary of changes:
 htdocs/onlinedocs/index.html | 1 +
 1 file changed, 1 insertion(+)


hooks/post-receive
-- 
gcc-wwwdocs