aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorPaolo Capriotti <p.capriotti@gmail.com>2012-07-19 16:28:45 +0100
committerPaolo Capriotti <p.capriotti@gmail.com>2012-07-19 16:49:32 +0100
commit6e8bc1dca77bbbc5743f63a2e8ea5b1eab0ed80c (patch)
tree5f4ad32677af3e2b95e468e5bcab94c38e5d88e1 /.gitignore
parent105f31e1b5b1428ae27590893740017327d322ff (diff)
parent2a931d32cfdbd20d4da0cff6415a3aaf47823938 (diff)
Forward port changes from stable.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore8
1 files changed, 6 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore
index b86b7a52..9bf92b20 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,6 @@
-dist
-doc/haddock
+/dist/
+/doc/haddock
+/tests/html-tests/output/
+/tests/html-tests/tests/doc-index.html.ref
+/tests/html-tests/tests/index-frames.html.ref
+/tests/html-tests/tests/index.html.ref