summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitignore1
-rw-r--r--doc/user/.gitignore4
2 files changed, 5 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 670832f..5b53a97 100644
--- a/.gitignore
+++ b/.gitignore
@@ -17,4 +17,5 @@ stamp-h[0-9]
stamp-po
doc/user/doc-config.scm
src/skribilo
+src/pre-inst-skribilo
src/guile/skribilo/config.scm
diff --git a/doc/user/.gitignore b/doc/user/.gitignore
new file mode 100644
index 0000000..3957017
--- /dev/null
+++ b/doc/user/.gitignore
@@ -0,0 +1,4 @@
+user.html
+user-*.html
+*.png
+*.eps