From 09591cf3ed702de2f1ab94c478e568bf49c7225d Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Sun, 13 Oct 2019 06:30:03 -0400 Subject: 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`. --- .gitignore | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -- cgit v1.2.1