[devhelp] build: remove IGE platform detection

[Aleksander Morgado <aleksm src gnome org>]

commit cb90c3b1c86fa47aa63d0ff9017ff8f27762a1f2
Author: Aleksander Morgado <aleksander lanedo com>
Date:   Fri Feb 1 15:32:12 2013 +0100

    build: remove IGE platform detection

 acinclude.m4 |   36 ------------------------------------
 configure.ac |    1 -
 2 files changed, 0 insertions(+), 37 deletions(-)
---
diff --git a/configure.ac b/configure.ac
index 245d852..5a32969 100644
--- a/configure.ac
+++ b/configure.ac
@@ -133,6 +133,5 @@ AC_OUTPUT
 
 echo
 echo "Prefix:    $prefix"
-echo "Platform:  $IGE_PLATFORM_NAME"
 echo "WebKit2:   $with_webkit2"
 echo