File not deleted:    "docs/users_guide/.doctrees"
File not deleted:    "docs/users_guide/.doctrees/7.12.1-notes.doctree"
File not deleted:    "docs/users_guide/.doctrees/bugs.doctree"
File not deleted:    "docs/users_guide/.doctrees/codegens.doctree"
File not deleted:    "docs/users_guide/.doctrees/debugging.doctree"
File not deleted:    "docs/users_guide/.doctrees/editing-guide.doctree"
File not deleted:    "docs/users_guide/.doctrees/environment.pickle"
File not deleted:    "docs/users_guide/.doctrees/extending_ghc.doctree"
File not deleted:    "docs/users_guide/.doctrees/ffi-chap.doctree"
File not deleted:    "docs/users_guide/.doctrees/flags.doctree"
File not deleted:    "docs/users_guide/.doctrees/ghc.doctree"
File not deleted:    "docs/users_guide/.doctrees/ghci.doctree"
File not deleted:    "docs/users_guide/.doctrees/glasgow_exts.doctree"
File not deleted:    "docs/users_guide/.doctrees/gone_wrong.doctree"
File not deleted:    "docs/users_guide/.doctrees/index.doctree"
File not deleted:    "docs/users_guide/.doctrees/intro.doctree"
File not deleted:    "docs/users_guide/.doctrees/lang.doctree"
File not deleted:    "docs/users_guide/.doctrees/license.doctree"
File not deleted:    "docs/users_guide/.doctrees/packages.doctree"
File not deleted:    "docs/users_guide/.doctrees/parallel.doctree"
File not deleted:    "docs/users_guide/.doctrees/phases.doctree"
File not deleted:    "docs/users_guide/.doctrees/profiling.doctree"
File not deleted:    "docs/users_guide/.doctrees/runghc.doctree"
File not deleted:    "docs/users_guide/.doctrees/runtime_control.doctree"
File not deleted:    "docs/users_guide/.doctrees/safe_haskell.doctree"
File not deleted:    "docs/users_guide/.doctrees/separate_compilation.doctree"
File not deleted:    "docs/users_guide/.doctrees/shared_libs.doctree"
File not deleted:    "docs/users_guide/.doctrees/sooner.doctree"
File not deleted:    "docs/users_guide/.doctrees/usage.doctree"
File not deleted:    "docs/users_guide/.doctrees/using-concurrent.doctree"
File not deleted:    "docs/users_guide/.doctrees/using-optimisation.doctree"
File not deleted:    "docs/users_guide/.doctrees/using-warnings.doctree"
File not deleted:    "docs/users_guide/.doctrees/using.doctree"
File not deleted:    "docs/users_guide/.doctrees/utils.doctree"
File not deleted:    "docs/users_guide/.doctrees/win32-dlls.doctree"
File not deleted:    "docs/users_guide/all-flags.gen.rst"
File not deleted:    "docs/users_guide/ghc.1"
File not deleted:    "docs/users_guide/ghc_config.pyc"
File not deleted:    "inplace"
File not deleted:    "libraries/time/lib/include/HsTimeConfig.h"