summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorLudovic Courtès2007-12-01 17:01:21 +0100
committerLudovic Courtès2007-12-01 17:01:21 +0100
commitd20bf987e72f044155a590e84df65187888b80df (patch)
treedf39338e31fd12b6115d8084a815a2006ad05ec4 /doc
parentad89f8efd5519eb8d40c2fec368c960a6a8e48bc (diff)
downloadskribilo-d20bf987e72f044155a590e84df65187888b80df.tar.gz
skribilo-d20bf987e72f044155a590e84df65187888b80df.tar.lz
skribilo-d20bf987e72f044155a590e84df65187888b80df.zip
doc: Improve `.gitignore'.
Diffstat (limited to 'doc')
-rw-r--r--doc/user/.gitignore12
1 files changed, 12 insertions, 0 deletions
diff --git a/doc/user/.gitignore b/doc/user/.gitignore
index 3957017..79b70d4 100644
--- a/doc/user/.gitignore
+++ b/doc/user/.gitignore
@@ -1,4 +1,16 @@
user.html
user-*.html
+user.tex
+user.aux
+user.log
+user.out
+user.dvi
+user.toc
+user.lout
+user.lout.*
+user.li*
+user.ps
+user.pdf
*.png
+*.jpg
*.eps