On Thu, Oct 24, 2013 at 12:35 AM, William ML Leslie < [email protected]> wrote:
> On 24 October 2013 09:21, Jonathan S. Shapiro <[email protected]> wrote: > > ...and (2) lack of line breaks, which means you can't > > use diff on the darned things. What's the current state? > > Why don't you have sufficient line breaks? That seems pretty odd. In most HTML elements, white space is not significant. Most HTML editors render *all* whitespace as spaces in these contexts when storing the file. In fact, if you take a really long HTML file without any verbatim blocks and read it into those editors, change one character, and save it, you'll discover that the output has no newlines. One consequence is that HTML is not inherently a line-oriented format. You * can* maintain a file in line-oriented form if you do so by hand, but the HTML editors generally won't. One unfortunate consequence of this is that line-oriented tools like *diff* don't work reliably on HTML.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
