git: Add entries for the HTML manual to doc/internals/.gitignore.
These are the files and directories generated by "make html" in
Sign up for the SourceForge newsletter:
You seem to have CSS turned off.
Please don't fill out this field.