diff options
author | Ludovic Courtès | 2007-12-01 17:01:21 +0100 |
---|---|---|
committer | Ludovic Courtès | 2007-12-01 17:01:21 +0100 |
commit | d20bf987e72f044155a590e84df65187888b80df (patch) | |
tree | df39338e31fd12b6115d8084a815a2006ad05ec4 /doc/user/.gitignore | |
parent | ad89f8efd5519eb8d40c2fec368c960a6a8e48bc (diff) | |
download | skribilo-d20bf987e72f044155a590e84df65187888b80df.tar.gz skribilo-d20bf987e72f044155a590e84df65187888b80df.tar.lz skribilo-d20bf987e72f044155a590e84df65187888b80df.zip |
doc: Improve `.gitignore'.
Diffstat (limited to 'doc/user/.gitignore')
-rw-r--r-- | doc/user/.gitignore | 12 |
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 |