From: John Darrington <john@darrington.wattle.id.au>
Date: Thu, 8 Jul 2010 13:24:11 +0000 (+0200)
Subject: Replace unknown XML entities with their numerical counterpart.
X-Git-Tag: v0.7.6~340
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3618ffee49d9f9169c9fd48820ed9f949ac83e72;hp=3618ffee49d9f9169c9fd48820ed9f949ac83e72;p=pspp-builds.git

Replace unknown XML entities with their numerical counterpart.

Texinfo seems to produce XML entities (such as &copy;) which
are not valid (although they are valid for HTML).  We work
around such problems by post-processing with sed. Here, we
replace these unknown entities with their numeric counterparts.
Such is the advice given at
http://www.dwheeler.com/essays/quotes-in-html.html
---