diff options
Diffstat (limited to 'support/TVS/TVS/ignpats.tvs')
-rw-r--r-- | support/TVS/TVS/ignpats.tvs | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/support/TVS/TVS/ignpats.tvs b/support/TVS/TVS/ignpats.tvs new file mode 100644 index 0000000000..0d27d1e877 --- /dev/null +++ b/support/TVS/TVS/ignpats.tvs @@ -0,0 +1,21 @@ +# $Author: antos $ +# $Id: ignpats.tvs,v 1.1 2000/05/07 12:35:47 antos Exp $ +# +# TVS --- TeX Versioning System ignore patterns +# +# This file contains patterns which are matched (with -i option) +# to the end of the filenames. If filename matches any of these it is +# simply ignored and it is not added to output. +# File suffices are usually put here. +# This is useful to omit files which are created automatically +# e.g. sorted index, sorted bibliography etc. +# +# Feel free to set up it to whatever you need. But be careful, +# it is always better to pack more files. If you ignore something +# important, ... so you've been warned. + +# These are in fact PERL regular expression, in suffix of file, do not +# write "." here, use "\." instead. + +# Useful (most LaTeX users want it, I think): +toc # table of contents |