From e5721d659c108e9ae96b1ab8146d3e882572cf67 Mon Sep 17 00:00:00 2001
From: Tobias Grosser <tobias@grosser.es>
Date: Tue, 30 Aug 2016 12:08:25 +0000
Subject: [PATCH] www: Add links to Polly Labs and Polyhedral.info

llvm-svn: 280076
---
 polly/www/menu.html.incl | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/polly/www/menu.html.incl b/polly/www/menu.html.incl
index f2fc3b18ad69..a0a6c1a4aeec 100644
--- 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>