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

[Martin Liška]

---
 htdocs/onlinedocs/index.html | 1 +
 1 file changed, 1 insertion(+)

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
-- 
2.38.0