From: guido Date: Fri, 17 Jan 2003 12:28:34 +0000 (+0000) Subject: new title file without Javascript X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e83d730285c95f20ec26389d32c666b07c4a68c1;p=dealii-svn.git new title file without Javascript git-svn-id: https://svn.dealii.org/trunk@6930 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/doc/title.html b/deal.II/doc/title.html deleted file mode 100644 index 1493d2c5c0..0000000000 --- a/deal.II/doc/title.html +++ /dev/null @@ -1,46 +0,0 @@ - - - -deal.II Title Bar - - - - - - - - - - - - - - - - - - - diff --git a/deal.II/doc/title.html.in b/deal.II/doc/title.html.in new file mode 100644 index 0000000000..aa5bc8d218 --- /dev/null +++ b/deal.II/doc/title.html.in @@ -0,0 +1,24 @@ + + + +deal.II Title Bar + + + + + + + + +

The Homepage of deal.II $Name$

+ + + + + + + + + +