www: Add links to Polly Labs and Polyhedral.info

llvm-svn: 280076

diff --git a/polly/www/menu.html.incl b/polly/www/menu.html.incl
index f2fc3b1..a0a6c1a 100644 (file)
--- a/polly/www/menu.html.incl
+++ b/polly/www/menu.html.incl
@@ -45,6 +45,12 @@ Optimizations</span></h2>
     </a>
     <a href="http://repo.or.cz/w/polly-mirror.git">Browse (GitWeb)</a>
   </div>
+
+  <div class="submenu">
+    <label>External Resources</label>
+    <a href="https://www.pollylabs.org">Polly Labs</a>
+    <a href="https://www.polyhedral.info">polyhedral.info</a>
+  </div>
 </div>
 
 <script>