[Bug-gnubg] documentation: makeinfo --html

[Alef Rosenbaum]

When I generate html from a texi file the pages have awkward (or
non-working) file names. For example, one webpage has titled itself
Analysing-a-saved-game-or-match-or-session.html

How do I convert the file creating sensible page names such as those on
Achim's FAQ web page?

-Alef