Mention the gnus-html.git repository.

[gnus] / www / git.gnus.org / index.html

diff --git a/www/git.gnus.org/index.html b/www/git.gnus.org/index.html
index 4bd036a..66ceacc 100644 (file)
--- a/www/git.gnus.org/index.html
+++ b/www/git.gnus.org/index.html
@@ -7,6 +7,10 @@
 <a href="https://git.gnus.org/gnus.git">The writeable repository</a>
 <a href="/gnus.git">The read-only repository</a>
 <a href="/cgit/gnus.git/">A cgit web interface to the read-only repository</a>
+<hr>
+<a href="https://git.gnus.org/gnus-html.git">The writeable HTML repository</a>
+<a href="/gnus-html.git">The read-only HTML repository</a>
+<a href="/cgit/gnus-html.git/">A cgit web interface to the read-only HTML repository</a>
 
 <hr>
 Instructions for checking Gnus out:<p>
@@ -25,6 +29,8 @@ GIT_SSL_NO_VERIFY=1 git clone https://git.gnus.org/gnus.git
 # this will be necessary if you have to use a proxy
 GIT_SSL_NO_VERIFY=1 HTTPS_PROXY=proxy.example.com:8080 git clone https://git.gnus.org/gnus.git
 
+# repeat the same steps for https://git.gnus.org/gnus-html.git if you want the HTML pages
+
 cd gnus
 
 # you should do this to tell git not to check the certificate (so GIT_SSL_NO_VERIFY is not needed anymore)