diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2019-10-13 06:30:03 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-10-14 08:38:36 -0400 |
| commit | 78463fc5a238fa01f73bbed236ad17d0a2c37c0b (patch) | |
| tree | d889147219175c9b817a81b3f41d8f4d594152e5 /.gitignore | |
| parent | 27145351c106eaba666edd06025140931e42607e (diff) | |
| download | haskell-78463fc5a238fa01f73bbed236ad17d0a2c37c0b.tar.gz | |
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`.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index f5db603a6a..14c7815ea8 100644 --- a/.gitignore +++ b/.gitignore @@ -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 |