summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès2007-11-28 13:59:15 +0100
committerLudovic Courtès2007-11-28 13:59:15 +0100
commitd05d31adc3b3fb96aa66ed99ef3aa0a40bea5455 (patch)
tree8696ffd82a1bf755f196f6b5bd97bc0402c37f0e
parent125baac85e912aaa45cd250d9254ab5f890f7058 (diff)
downloadskribilo-d05d31adc3b3fb96aa66ed99ef3aa0a40bea5455.tar.gz
skribilo-d05d31adc3b3fb96aa66ed99ef3aa0a40bea5455.tar.lz
skribilo-d05d31adc3b3fb96aa66ed99ef3aa0a40bea5455.zip
Update `.gitignore'.
-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