From 690df39fd67690e8c3883eace60854ddd7260d39 Mon Sep 17 00:00:00 2001
From: David Anderson <davea@ssl.berkeley.edu>
Date: Wed, 26 Feb 2014 14:47:42 -0800
Subject: [PATCH] project_list.php: don't strip plan class from Android
 platforms (not needed anymore)

---
 doc/project_list.php | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/doc/project_list.php b/doc/project_list.php
index e83c33c129..60ee721254 100644
--- a/doc/project_list.php
+++ b/doc/project_list.php
@@ -54,9 +54,6 @@ foreach($proj_list as $p) {
         echo "    <platforms>\n";
         foreach ($platforms as $platform) {
             if ($platform == 'Unknown') continue;
-            if (strstr($platform, "arm-android-linux-gnu")) {
-                $platform = "arm-android-linux-gnu";
-            }
             echo "        <name>$platform</name>\n";
         }
         echo "    </platforms>\n";