]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
new title file without Javascript
authorguido <guido@0785d39b-7218-0410-832d-ea1e28bc413d>
Fri, 17 Jan 2003 12:28:34 +0000 (12:28 +0000)
committerguido <guido@0785d39b-7218-0410-832d-ea1e28bc413d>
Fri, 17 Jan 2003 12:28:34 +0000 (12:28 +0000)
git-svn-id: https://svn.dealii.org/trunk@6930 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/doc/title.html [deleted file]
deal.II/doc/title.html.in [new file with mode: 0644]

diff --git a/deal.II/doc/title.html b/deal.II/doc/title.html
deleted file mode 100644 (file)
index 1493d2c..0000000
+++ /dev/null
@@ -1,46 +0,0 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Frameset//EN"
-   "http://www.w3.org/TR/REC-html40/frameset.dtd">
-<html>
-<head>
-<title>deal.II Title Bar</title>
-    <link href="screen.css" rel="StyleSheet" media="screen">
-    <link href="print.css" rel="StyleSheet" media="print">
-    <meta name="author" content="the deal.II authors <authors@dealii.org>">
-    <meta name="CVS_ID" content="$Id$">
-</head>
-
-<!-- Page Body -->
-<body style="background-image:url(pictures/title-background.jpg);">
-  <script type="text/javascript">
-  <!--
-  var release = "$Name$";
-  release=release.replace(/\$.*: */,"");
-  release=release.replace(/.*Version-/,"");
-  release=release.replace(/\$/, "");
-  release=release.replace(/-/g, ".");
-  release=release.replace(/ /g, "");
-  document.close();
-  document.open();
-  if (release != "")
-  {
-    document.writeln("<h1 class=\"head\">The Homepage of deal.II  Version "+ release + "</h1>");
-  } else {
-    document.writeln("<h1 class=\"head\">The deal.II Homepage");
-    document.writeln("&nbsp;");
-    document.writeln("&nbsp;");
-    document.writeln("&nbsp;");
-    document.writeln("<b style=\"color:red\"><a");
-    //document.writeln("href=\"news/news.html\" target=\"body\">New version 3.4</a></b></h1>");
-  }
-  //-->
-  </script>
-</body>
-</html>
-
-
-
-
-
-
-
-
diff --git a/deal.II/doc/title.html.in b/deal.II/doc/title.html.in
new file mode 100644 (file)
index 0000000..aa5bc8d
--- /dev/null
@@ -0,0 +1,24 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Frameset//EN"
+   "http://www.w3.org/TR/REC-html40/frameset.dtd">
+<html>
+<head>
+<title>deal.II Title Bar</title>
+    <link href="screen.css" rel="StyleSheet" media="screen">
+    <link href="print.css" rel="StyleSheet" media="print">
+    <meta name="author" content="the deal.II authors <authors@dealii.org>">
+    <meta name="CVS_ID" content="$Id$">
+</head>
+
+<!-- Page Body -->
+<body style="background-image:url(pictures/title-background.jpg);">
+  <h1 class="head">The Homepage of deal.II $Name$</h1>
+</body>
+</html>
+
+
+
+
+
+
+
+

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.