diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 18 |
1 files changed, 1 insertions, 17 deletions
@@ -1,17 +1 @@ | |||
1 | .do_built* | /result | |
2 | build/preview/* | ||
3 | !build/preview/preview.dtx | ||
4 | !build/preview/preview.ins | ||
5 | !build/preview/preview.sty.do | ||
6 | htdocs | ||
7 | nginx | ||
8 | |||
9 | *.html | ||
10 | *.rss | ||
11 | index.md | ||
12 | lists/*.md | ||
13 | lists/*/preview | ||
14 | tex/ | ||
15 | |||
16 | cabal.sandbox.config | ||
17 | .cabal-sandbox/ \ No newline at end of file | ||