Fix an extremely obscure bug in the help generation.
authorEric S. Raymond <esr@thyrsus.com>
Fri, 15 Sep 2006 20:12:00 +0000 (20:12 +0000)
committerEric S. Raymond <esr@thyrsus.com>
Fri, 15 Sep 2006 20:12:00 +0000 (20:12 +0000)
commit6230cf44c697419e67ab3b879acd8103a29c7d2d
treeae5c840b3fa092b9f9fb3fab604216f0a8849a31
parentfdd2f983f44b38ff8403f32ea0ba15b77d55aaba
Fix an extremely obscure bug in the help generation.

It was triggered by non-breaking space in xmlto output.
doc/makehelp.py