Bochs

History

Bryce Denney b0c6488ed9 The HTML stylesheet likes to print html has the ends of tags on a different line, like this: <HTML ><HEAD ><TITLE >FreeBSD</TITLE > Glimpse, which is indexing our website, finds this very confusing and it cannot pick out the title from this mess. This script takes a list of HTML files on the command line and attempts to make the <TITLE> tag look more normal so that glimpse can understand it. WARNING: This is a hack. It's made to work on docbook generated html, but may do strange things on anything else.	2001-09-16 06:46:11 +00:00
..
docbook	The HTML stylesheet likes to print html has the ends of tags on a different	2001-09-16 06:46:11 +00:00
man	- Bryce got picky about spaces here and there	2001-06-03 22:49:13 +00:00

Bryce Denney b0c6488ed9 The HTML stylesheet likes to print html has the ends of tags on a different

line, like this:
<HTML
><HEAD
><TITLE
>FreeBSD</TITLE
>

Glimpse, which is indexing our website, finds this very confusing and
it cannot pick out the title from this mess.  This script takes a list
of HTML files on the command line and attempts to make the <TITLE> tag
look more normal so that glimpse can understand it.

WARNING: This is a hack.  It's made to work on docbook generated html, but
may do strange things on anything else.

2001-09-16 06:46:11 +00:00

docbook

The HTML stylesheet likes to print html has the ends of tags on a different

2001-09-16 06:46:11 +00:00

man

- Bryce got picky about spaces here and there

2001-06-03 22:49:13 +00:00