Skip to content
  • Ryan Scott's avatar
    Add docs/users_guide/.log to .gitignore · 78463fc5
    Ryan Scott authored and Marge Bot's avatar Marge Bot committed
    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`.
    78463fc5