From: John Darrington <john@darrington.wattle.id.au>
Date: Thu, 24 Dec 2009 16:05:12 +0000 (+0100)
Subject: Fix fault XML in documentation.
X-Git-Tag: fc11-i386-build63^0
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1085f5128713881e135ea83fbdf411b99e8f32b6;hp=1085f5128713881e135ea83fbdf411b99e8f32b6;p=pspp-builds.git

Fix fault XML in documentation.

Avoid broken XML generated by Texinfo. Add a make rule
to check for this in the future.
---