Commit 78463fc5 authored by Ryan Scott's avatar Ryan Scott Committed by Marge Bot

Add docs/users_guide/.log to .gitignore

When the users guide fails to build (as in #17346), 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`.
parent 27145351
Pipeline #11354 failed with stages
in 110 minutes and 16 seconds
......@@ -107,6 +107,7 @@ _darcs/
/distrib/ghc.iss
/docs/man
/docs/index.html
/docs/users_guide/.log
/docs/users_guide/users_guide
/docs/users_guide/ghc.1
/docs/users_guide/flags.pyc
......@@ -227,7 +228,7 @@ ghc.nix/
.gdbinit
# Tooling - direnv
.envrc
.envrc
# Tooling - vscode
.vscode
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment