diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2019-10-13 06:30:03 -0400 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2019-10-13 06:31:08 -0400 |
| commit | 09591cf3ed702de2f1ab94c478e568bf49c7225d (patch) | |
| tree | 475561ae128d2a460904b73529e6c6018710ee18 | |
| parent | 226d86d29842f894869e23ddb1197d04dacae7f7 (diff) | |
| download | haskell-wip/add-log-to-gitignore.tar.gz | |
Add docs/users_guide/.log to .gitignorewip/add-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`.
| -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 |