This page in now obsolete and redirects to index.php

author arjen <arjen>

Mon, 10 Dec 2007 16:22:42 +0000 (16:22 +0000)

committer arjen <arjen>

Mon, 10 Dec 2007 16:22:42 +0000 (16:22 +0000)
author arjen <arjen>
Mon, 10 Dec 2007 16:22:42 +0000 (16:22 +0000)
committer arjen <arjen>
Mon, 10 Dec 2007 16:22:42 +0000 (16:22 +0000)
diff --git a/src/web/index.html b/src/web/index.html

index b1a446f..961bcb5 100644 (file)
--- a/src/web/index.html
+++ b/src/web/index.html
@@ -1,11 +1,17 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN" "http://www.w3.org/TR/html4/frameset.dtd">
-<html>
+<?xml version="1.0" encoding="iso-8859-1"?>
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN" "http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
-<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
-<link rel='stylesheet' href='gnucomo.css' type='text/css'>
+<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"/>
+<meta http-equiv="refresh" content="0;URL=index.php" />
+
+<link rel='stylesheet' href='gnucomo.css' type='text/css'/>
  <title>GnuCoMo Web Interface</title>
  </head>
-  <frameset rows="80,*" border='0'>
-    <frame name="main" frameborder='0' src="index.php">
-  </frameset>
+<body>
+<p>
+This page is now obsolete.
+You will be redirected to <a href='index.php'>index.php</a>.
+</p>
+</body>
  </html>