Make git ignore the generated documentation