[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: @deffn without index
|
From: |
Werner LEMBERG |
|
Subject: |
Re: @deffn without index |
|
Date: |
Mon, 18 Mar 2002 22:32:32 +0100 (CET) |
> > But I can't stop the creation of the default auxiliary index files.
>
> You mean, files created by TeX? Why is that a problem?
Not a real `problem'. But it litters the environment with unused
files (i.e. if there is no @printindex command), and I don't like this
very much. Maybe this is me only.
Werner