|
From: | Werner LEMBERG |
Subject: | glossary.texi |
Date: | Tue, 24 Sep 2002 10:23:47 +0200 (CEST) |
Is there any reason why glossary.texi is removed after `make dvi'? I think it is better to not remove this file. Werner
[Prev in Thread] | Current Thread | [Next in Thread] |