[MLton-commit] r4227

Stephen Weeks MLton@mlton.org
Tue, 15 Nov 2005 14:01:33 -0800


Eliminated FONT tags.

----------------------------------------------------------------------

U   mlton/trunk/bin/make-pdf-guide

----------------------------------------------------------------------

Modified: mlton/trunk/bin/make-pdf-guide
===================================================================
--- mlton/trunk/bin/make-pdf-guide	2005-11-15 21:42:07 UTC (rev 4226)
+++ mlton/trunk/bin/make-pdf-guide	2005-11-15 22:01:32 UTC (rev 4227)
@@ -46,6 +46,8 @@
 cat >$script <<EOF
 23,41d
 s;\(<body .*\);\1\n<h1>$f</h1>;
+s;<FONT[^>]*>;;g
+s;</FONT>;;g
 s;<img src=\"\(http://mlton.org[^>]*\)>;<img src="moin-www.png"><a href=\"\1>image</a>;g
 EOF
 	sed -f $script <$f >.tmp
@@ -90,7 +92,7 @@
 --firstpage p1 
 --fontsize 11.0 
 --fontspacing 1.2 
---footer ..1 
+--footer ..1
 --header t.c
 --headfootfont Helvetica 
 --headfootsize 11.0