summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorBen Gamari <bgamari.foss@gmail.com>2015-11-18 12:23:25 +0100
committerBen Gamari <ben@smart-cactus.org>2015-11-18 12:53:51 +0100
commit112ce87444362f9f09e6a9ccf532f2ab5d80ad81 (patch)
treed661e9ae1f14202141947ae1eefd132db25a4eae /.gitignore
parentc945c90bd910b7e38abd2f98af7783eea281d8f8 (diff)
downloadhaskell-112ce87444362f9f09e6a9ccf532f2ab5d80ad81.tar.gz
docs: Ignore Sphinx doctrees produced by manpage build
Test Plan: Validate Reviewers: austin Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D1491
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore3
1 files changed, 1 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore
index 322ae6a8a0..a223f300c9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -98,8 +98,7 @@ _darcs/
/docs/users_guide/users_guide.pdf
/docs/users_guide/build-html
/docs/users_guide/build-pdf
-/docs/users_guide/.doctrees-html
-/docs/users_guide/.doctrees-pdf
+/docs/users_guide/.doctrees-*
/driver/ghci/ghc-pkg-inplace
/driver/ghci/ghci-inplace
/driver/ghci/ghci.res