From 64358e9c0204de97138fb0a7918d1c3eb0030f58 Mon Sep 17 00:00:00 2001 From: schrage Date: Thu, 7 Jan 1999 16:02:44 +0000 Subject: [PATCH] First (partly) browsable version of the tutorial for DEAL git-svn-id: https://svn.dealii.org/trunk@726 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/doc/dealdoc.css | 5 +++++ deal.II/doc/validate | 3 +++ 2 files changed, 8 insertions(+) create mode 100644 deal.II/doc/dealdoc.css create mode 100755 deal.II/doc/validate diff --git a/deal.II/doc/dealdoc.css b/deal.II/doc/dealdoc.css new file mode 100644 index 0000000000..72976e20e3 --- /dev/null +++ b/deal.II/doc/dealdoc.css @@ -0,0 +1,5 @@ + +BODY {background-color: white; background-image: none} + diff --git a/deal.II/doc/validate b/deal.II/doc/validate new file mode 100755 index 0000000000..2199ba0a44 --- /dev/null +++ b/deal.II/doc/validate @@ -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 -- 2.39.5