git: Add entries for the HTML manual to doc/internals/.gitignore.
authorLutz Euler <lutz.euler@freenet.de>
Mon, 10 Jun 2013 10:37:22 +0000 (12:37 +0200)
committerLutz Euler <lutz.euler@freenet.de>
Mon, 10 Jun 2013 10:37:22 +0000 (12:37 +0200)
commit2e8076a2fd73cffb3e7a4dd1f78469781e94cf52
treea154fa878a57a663c721219dadacd28afdfa0478
parenta3d4610158f227d53cb5eac287dd2661e975fc70
git: Add entries for the HTML manual to doc/internals/.gitignore.

These are the files and directories generated by "make html" in
doc/internals.
doc/internals/.gitignore