Fix building HTML documentation.
commitf5f046b3b098865dcbf4eba5c3711e3b2491a92e
authorWolfgang Dautermann <dauti@users.sourceforge.net>
Tue, 1 Mar 2022 16:48:52 +0000 (1 17:48 +0100)
committerWolfgang Dautermann <dauti@users.sourceforge.net>
Tue, 1 Mar 2022 16:48:52 +0000 (1 17:48 +0100)
tree3fec32efdff4ce46a35963f2367aeb544b4dfbbd
parent20ab89de0dd1ad8e74d1477908167ab4e43ab575
Fix building HTML documentation.

Categories with filenames with spaces were not found.
doc/info/build_html.sh.in