From 0d0b2411ffcb93033fb2e8642414052be15b23a4 Mon Sep 17 00:00:00 2001 From: schrage Date: Thu, 7 Jan 1999 16:07:31 +0000 Subject: [PATCH] Updated paths in validation script git-svn-id: https://svn.dealii.org/trunk@727 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/doc/validate | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.5