git: Ignore html files in doc

2 jobs for cleanup in 50 seconds (queued for 28 seconds)