Git: do not track built documentation.

OK?