pintos-os.org Git - pspp-builds.git/commit

author	John Darrington <john@darrington.wattle.id.au>
	Thu, 24 Dec 2009 16:05:12 +0000 (17:05 +0100)
committer	John Darrington <john@darrington.wattle.id.au>
	Thu, 24 Dec 2009 16:05:12 +0000 (17:05 +0100)
commit	1085f5128713881e135ea83fbdf411b99e8f32b6
tree	b4242935b46776181712728cc7872a91b899c472	tree \| snapshot
parent	4258516c49dcb4da78d9bf1b5fc17458980d9908	commit \| diff

Fix fault XML in documentation.

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

PSPP build tags.