]> https://gitweb.dealii.org/ - dealii.git/commitdiff
First (partly) browsable version of the tutorial for DEAL
authorschrage <schrage@0785d39b-7218-0410-832d-ea1e28bc413d>
Thu, 7 Jan 1999 16:02:44 +0000 (16:02 +0000)
committerschrage <schrage@0785d39b-7218-0410-832d-ea1e28bc413d>
Thu, 7 Jan 1999 16:02:44 +0000 (16:02 +0000)
git-svn-id: https://svn.dealii.org/trunk@726 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/doc/dealdoc.css [new file with mode: 0644]
deal.II/doc/validate [new file with mode: 0755]

diff --git a/deal.II/doc/dealdoc.css b/deal.II/doc/dealdoc.css
new file mode 100644 (file)
index 0000000..72976e2
--- /dev/null
@@ -0,0 +1,5 @@
+<!-- DEAL Documentation Style Sheet. 
+     Jan Schrage <schrage@gaia.iwr.uni-heidelberg.de> 1999 
+-->
+BODY {background-color: white; background-image: none}
+
diff --git a/deal.II/doc/validate b/deal.II/doc/validate
new file mode 100755 (executable)
index 0000000..2199ba0
--- /dev/null
@@ -0,0 +1,3 @@
+#!/bin/sh
+echo Validating $1
+cat $1 | sed  -e 's/http:\/\/www.w3.org\/TR\/REC-html40\/strict.dtd//' -e 's/\"\"//' | nsgmls -s -m /opt/lib/sgml/pubtext/HTML4.soc 

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.