Carl Worth [Thu, 27 Sep 2007 23:45:47 +0000 (16:45 -0700)]
Convert funky space-like characters to space
Apparently the original HTML (or something in the conversion process)
gave us some funky UTF-8 character, (0xC2 0xA0), where I would expect
a simple space. This was causing problems when trying to cut-and-paste
example commands from the document, (since bash wouldn't break the
command-line on the non-space characters). Replace all these with good
old ASCII spaces.
Carl Worth [Thu, 27 Sep 2007 23:00:29 +0000 (16:00 -0700)]
Start a list of dated modifications made to the document
This is an OPL requirement. We also satisfy other OPL requirements
by explicitly stating that this is a modified document and that
it is not endorsed by Bryan O'Sullivan.