summaryrefslogtreecommitdiff
path: root/.gitignore
blob: 16e0d466a54172dc45e87334c795d866f3348402 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
.do_built*
build/preview/*
!build/preview/preview.dtx
!build/preview/preview.ins
!build/preview/preview.sty.do
htdocs
nginx

*.html
*.rss
index.md
lists/*.md
lists/*/preview
tex/

cabal.sandbox.config
.cabal-sandbox/