Fixed doc entry mistakenly removed from .gitignore.