diff options
Diffstat (limited to 'support/TVS/TVS/tvsrc')
-rw-r--r-- | support/TVS/TVS/tvsrc | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/support/TVS/TVS/tvsrc b/support/TVS/TVS/tvsrc new file mode 100644 index 0000000000..5756b96d4c --- /dev/null +++ b/support/TVS/TVS/tvsrc @@ -0,0 +1,11 @@ +# $Author: antos $ +# $Id: tvsrc,v 1.4 2000/04/13 20:07:28 antos Exp $ +# +# TVS --- TeX Versioning System config file +# +# Config file of TVS. Modify as you like. +# +ignore ignpats.tvs +pathcuts pathcuts.tvs +verbose 0 +format /usr/TeX/texmf/web2c |