Commit 67284a07 authored by Ben Gamari's avatar Ben Gamari 🐢

gitignore: Ignore sphinx doctrees directories

parent 7dae0743
......@@ -98,7 +98,8 @@ _darcs/
/docs/users_guide/users_guide.pdf
/docs/users_guide/build-html
/docs/users_guide/build-pdf
/docs/users_guide/.doctrees
/docs/users_guide/.doctrees-html
/docs/users_guide/.doctrees-pdf
/driver/ghci/ghc-pkg-inplace
/driver/ghci/ghci-inplace
/driver/ghci/ghci.res
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment