Doc: add new website to main doc page; temporary hack.

index.html.in should be dying in a few days, so I feel no regret
about this hack.

diff --git a/Documentation/index.html.in b/Documentation/index.html.in
index 6cb33d8ff2df21b648edc825dd0e0d45daf75bff..6cc6d51db2a3e37555c8fae288ff9799e3190297 100644 (file)
--- a/Documentation/index.html.in
+++ b/Documentation/index.html.in
@@ -127,6 +127,8 @@ in <a class="title" href="snippets.pdf">PDF</a>)
         <li><a class="title"  href="DEDICATION.html">Dedication</a>
         <br>(by Jan and Han-Wen)</li>
 
+<li><a class="title" href="general/index.html">New website</a>
+<br>(total hack; to be replaced ASAP)</li>
          </ul>
          </td>
         </tr>