summaryrefslogtreecommitdiffstats
path: root/httpd/cgi-bin/check
diff options
context:
space:
mode:
Diffstat (limited to 'httpd/cgi-bin/check')
-rwxr-xr-xhttpd/cgi-bin/check14
1 files changed, 8 insertions, 6 deletions
diff --git a/httpd/cgi-bin/check b/httpd/cgi-bin/check
index fe6bd64..daacb22 100755
--- a/httpd/cgi-bin/check
+++ b/httpd/cgi-bin/check
@@ -9,7 +9,7 @@
# This source code is available under the license at:
# http://www.w3.org/Consortium/Legal/copyright-software
#
-# $Id: check,v 1.145 2001-07-17 00:35:33 link Exp $
+# $Id: check,v 1.146 2001-07-17 00:50:24 link Exp $
#
# We need Perl 5.004.
@@ -68,6 +68,7 @@ my $temp = "/tmp/validate.$$"; # @@ Use POSIX/IO::File tmpfiles instead!
#
# Executables and binaries
my $sp = '/usr/local/bin/lq-nsgmls';
+my $osp = '/usr/local/bin/onsgmls';
#
# URIs and fragments
@@ -79,9 +80,9 @@ my $element_ref = 'http://www.htmlhelp.com/reference/html40/';
#
# Strings
-$VERSION = q$Revision: 1.145 $;
+$VERSION = q$Revision: 1.146 $;
$VERSION =~ s/Revision: ([\d\.]+) /$1/;
-$DATE = q$Date: 2001-07-17 00:35:33 $;
+$DATE = q$Date: 2001-07-17 00:50:24 $;
$MAINTAINER = 'gerald@w3.org';
$NOTICE = ''; # "<p><strong>Note: This service will be ...</strong>";
@@ -477,10 +478,11 @@ if ($File->{Type} eq 'xhtml') {
$ENV{SP_ENCODING} = 'UTF-8';
$xmlflags = '-wxml';
} elsif ($File->{Type} eq 'mathml') {
- $catalog = $sgmlstuff . '/CR-MathML2-20001113/catalog';
- $ENV{SP_CHARSET_FIXED} = 'YES';
+ $catalog = $sgmlstuff . '/mathml.soc';
+ $ENV{SP_CHARSET_FIXED} = 'NO';
$ENV{SP_ENCODING} = 'XML';
$xmlflags = '-wxml ';
+ $sp = $osp; # *WARNING* *WARNING* Danger Will Robinson! :-)
} elsif ($File->{Type} eq 'xml' or $File->{Namespace}) {
# no doctype, with xmlns attr on 1st element
$File->{Type} = 'xml'; # @@ probably a better way to do this
@@ -587,7 +589,7 @@ if ($File->{Type} eq 'xml' or $File->{Type} eq 'xhtml') {
&print_table;
&print_warnings;
-if ($File->{Type} eq 'xml' or $File->{Type} eq 'xhtml') {
+if ($File->{Type} eq 'xml' or $File->{Type} eq 'xhtml' or $File->{Type} eq 'mathml') {
my $xmlvalid = ($File->{DOCTYPE} ? ' and validity' : '');
print <<"EOHD";
<p>