diff mbox series

[(pushed)] Include docs-sources in onlinedocs.

Message ID 44555a43-3840-bf91-ee39-0a468ae524be@suse.cz
State Committed
Headers
Series [(pushed)] Include docs-sources in onlinedocs. |

Commit Message

Martin Liška Nov. 9, 2022, 6:39 p.m. UTC 
  ---
 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 cfa8bf5a..3410f731 100644
--- a/htdocs/onlinedocs/index.html
+++ b/htdocs/onlinedocs/index.html
@@ -1610,6 +1610,7 @@  existing release.</p>
       (<a href="https://gcc.gnu.org/onlinedocs/libgccjit.pdf">also in PDF</a>)
     </li>
     <li><a href="https://gcc.gnu.org/onlinedocs/libstdc++/">libstdc++-v3</a></li>
+    <li><a href="https://gcc.gnu.org/onlinedocs/docs-sources.tar.gz">Sphinx sources of all the manuals</a></li>
   </ul></li>
 
   <li>Internals Documentation