From: schrage Date: Thu, 7 Jan 1999 16:07:31 +0000 (+0000) Subject: Updated paths in validation script X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0d0b2411ffcb93033fb2e8642414052be15b23a4;p=dealii-svn.git Updated paths in validation script git-svn-id: https://svn.dealii.org/trunk@727 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/doc/validate b/deal.II/doc/validate index 2199ba0a44..2df9a75fe4 100755 --- a/deal.II/doc/validate +++ b/deal.II/doc/validate @@ -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