summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore24
1 files changed, 2 insertions, 22 deletions
diff --git a/.gitignore b/.gitignore
index 7acf53d..afdc526 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,28 +15,8 @@ Makefile
Makefile.in
# Documentation files created by make
-/doc/*.aux
-/doc/*.cp
-/doc/*.cps
-/doc/*.dvi
-/doc/*.fn
-/doc/*.fns
-/doc/*.html/
-/doc/*.info
-/doc/*.ky
-/doc/*.kys
-/doc/*.log
-/doc/*.pdf
-/doc/*.pg
-/doc/*.pgs
-/doc/*.ps
-/doc/*.tmp
-/doc/*.toc
-/doc/*.tp
-/doc/*.tps
-/doc/*.vr
-/doc/*.vrs
-/doc/texinfo.tex
+/doc/libdimension
+Doxyfile
# pkg-config files
*.pc