[MLton-commit] r4230

Tue, 15 Nov 2005 15:38:38 -0800

Dropped "Home" and "Index", which was appearing awkwardly on each
page.

Was more careful with the sed about eliminating the <table> at the
top.


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

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

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

Modified: mlton/trunk/bin/make-pdf-guide
===================================================================

--- mlton/trunk/bin/make-pdf-guide	2005-11-15 23:12:32 UTC (rev 4229)
+++ mlton/trunk/bin/make-pdf-guide	2005-11-15 23:38:37 UTC (rev 4230)
@@ -44,10 +44,12 @@
 
 for f in `cat $pages`; do
 cat >$script <<EOF
-23,41d
+/^<table bgcolor = lightblue/,+29d
 s;\(<body .*\);\1\n<h1>$f</h1>;
 s;<FONT[^>]*>;;g
 s;</FONT>;;g
+s;\(<div id="content"\);\1;
+s;<td colspan = 3;<td align = right;
 s;<img src=\"\(http://mlton.org[^>]*\)>;<img src="moin-www.png"><a href=\"\1>image</a>;g
 EOF
 	sed -f $script <$f >.tmp
@@ -131,4 +133,4 @@
 
 cd
 
-rm -rf $tmp
+# rm -rf $tmp


