summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/user/.gitignore38
1 files changed, 20 insertions, 18 deletions
diff --git a/doc/user/.gitignore b/doc/user/.gitignore
index cdceaa5..2a055ba 100644
--- a/doc/user/.gitignore
+++ b/doc/user/.gitignore
@@ -1,18 +1,20 @@
-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
-user.sui
-*.png
-*.jpg
-*.eps
-lout/front-page.lout
+/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
+/user.sui
+/user.info
+/skribilo.info
+/*.png
+/*.jpg
+/*.eps
+/lout/front-page.lout