[css2] Minor fixes

ianbjacobs · ianbjacobs · commit f86202b01d21 · 1997-09-16T02:00:31.000Z
--HG--
extra : convert_revision : svn%3A73dc7c4b-06e6-40f3-b4f7-9ed1dbc14bfc/trunk%4070
diff --git a/css2/bin/Attic/mktoc b/css2/bin/Attic/mktoc
@@ -5,7 +5,7 @@
 #   1. Some header - and its related comment
 #
 # Arnaud Le Hors - lehors@w3.org
-# $Id: mktoc,v 1.8 1997-09-12 14:45:36 bbos Exp $
+# $Id: mktoc,v 1.9 1997-09-16 01:59:34 ian Exp $
 
 $PROGNAME = substr($0, rindex($0, "/") + 1);
 
@@ -107,8 +107,7 @@ foreach $file (@ARGV) {
 	$txt = cleanup($t);
 	if ($h lt $tocdepth) {
 	    if ($h == 1) {
-		print OUTPUT 
-		    "<P CLASS=\"tocline\"><a href=\"$url\"$rel><strong>$num $txt</strong></a>\n"; 
+		print OUTPUT "<P CLASS=\"tocline\"><a href=\"$url\"$rel><strong>$num $txt</strong></a>\n"; 
 	    } elsif ($h == 2) {
 		print OUTPUT "<BR><a href=\"$url\"$rel>$num $txt</a>\n";
 	    } elsif ($h == 3) {
diff --git a/css2/bin/mktoc b/css2/bin/mktoc
@@ -5,7 +5,7 @@
 #   1. Some header - and its related comment
 #
 # Arnaud Le Hors - lehors@w3.org
-# $Id: mktoc,v 1.8 1997-09-12 14:45:36 bbos Exp $
+# $Id: mktoc,v 1.9 1997-09-16 01:59:34 ian Exp $
 
 $PROGNAME = substr($0, rindex($0, "/") + 1);
 
@@ -107,8 +107,7 @@ foreach $file (@ARGV) {
 	$txt = cleanup($t);
 	if ($h lt $tocdepth) {
 	    if ($h == 1) {
-		print OUTPUT 
-		    "<P CLASS=\"tocline\"><a href=\"$url\"$rel><strong>$num $txt</strong></a>\n"; 
+		print OUTPUT "<P CLASS=\"tocline\"><a href=\"$url\"$rel><strong>$num $txt</strong></a>\n"; 
 	    } elsif ($h == 2) {
 		print OUTPUT "<BR><a href=\"$url\"$rel>$num $txt</a>\n";
 	    } elsif ($h == 3) {
diff --git a/css2/media.src b/css2/media.src
@@ -1,6 +1,6 @@
 <!DOCTYPE HTML SYSTEM "http://www.w3.org/TR/WD-html40/sgml/HTML4.dtd">
 <html lang="en">
-<!-- $Id: media.src,v 1.10 1997-09-08 23:58:44 ian Exp $ -->
+<!-- $Id: media.src,v 1.11 1997-09-16 02:00:31 ian Exp $ -->
 <HEAD>
 <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
 <TITLE>Media types</TITLE>
@@ -12,6 +12,8 @@
 <H1 align="center">Media types</H1>
 <!-- What is the definitive list of media types? -->
 
+<!-- Are values case-sensitive? -->
+
 One of the most important features of style sheets is that they allow
 authors to specify how a document is to be presented on different
 media: on the screen, on paper, with a speech synthesizer, with a
