]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Updated paths in validation script
authorschrage <schrage@0785d39b-7218-0410-832d-ea1e28bc413d>
Thu, 7 Jan 1999 16:07:31 +0000 (16:07 +0000)
committerschrage <schrage@0785d39b-7218-0410-832d-ea1e28bc413d>
Thu, 7 Jan 1999 16:07:31 +0000 (16:07 +0000)
git-svn-id: https://svn.dealii.org/trunk@727 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/doc/validate

index 2199ba0a44da6e3348c37d109f97f7a6e726b7c0..2df9a75fe4135d678ac1c8464f31437f4edcbf8c 100755 (executable)
@@ -1,3 +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 
+cat $1 | sed  -e 's/http:\/\/www.w3.org\/TR\/REC-html40\/strict.dtd//' -e 's/\"\"//' | nsgmls -s -m /home/people/schrage/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.