Skip to content

Add docs/users_guide/.log to .gitignore

Ryan Scott requested to merge wip/add-log-to-gitignore into master

When the users guide fails to build (as in #17346 (closed)), a docs/users_guide/.log file will be generated with contents that look something like this:

WARNING: unknown config value 'latex_paper_size' in override, ignoring
/home/rgscott/Software/ghc5/docs/users_guide/ghci.rst:3410: WARNING: u'ghc-flag' reference target not found: -pgmo ?option?
/home/rgscott/Software/ghc5/docs/users_guide/ghci.rst:3410: WARNING: u'ghc-flag' reference target not found: -pgmo ?port?

Encoding error:
'ascii' codec can't encode character u'\u27e8' in position 132: ordinal not in range(128)
The full traceback has been saved in /tmp/sphinx-err-rDF2LX.log, if you want to report the issue to the developers.

This definitely should not be checked in to version control, so let's add this to .gitignore.

Merge request reports