Ignore doc/doxygen/html in older versions of git.

The ** syntax is introduced in a newer version of git.