From f45983d377467855f57a4aa8cf131cb29d67a2fb Mon Sep 17 00:00:00 2001
From: "H. Peter Anvin" <hpa@zytor.com>
Date: Mon, 22 Sep 2008 22:43:38 -0700
Subject: [PATCH] Use version.inc

Use the new version.inc file generated by the build robot
---
 index.php | 12 ++++--------
 1 file changed, 4 insertions(+), 8 deletions(-)

diff --git a/index.php b/index.php
index 9a9bc78d..32d31e19 100644
--- a/index.php
+++ b/index.php
@@ -14,14 +14,10 @@
 <div id="content">
 <p>&nbsp;</p>
 
-<?php
-if (file_exists('./version')) {
-  $ver = rtrim(file_get_contents('./version'));
-}
-if (file_exists('./rc-version')) {
-  $rcv = rtrim(file_get_contents('./rc-version'));
-}
-?>
+<!-- The comment markers are needed here, due to the polyglotness hack -->
+<!-- <?php
+require('./version.inc');
+?> -->
 
 <div>
 
-- 
2.11.4.GIT