|
From: | Han-Wen Nienhuys |
Subject: | glossary.texi |
Date: | Fri, 27 Sep 2002 00:19:10 +0200 |
address@hidden writes: > > Is there any reason why glossary.texi is removed after `make dvi'? I > think it is better to not remove this file. Because make thinks it's an intermediate file. -- Han-Wen Nienhuys | address@hidden | http://www.cs.uu.nl/~hanwen
[Prev in Thread] | Current Thread | [Next in Thread] |