diff INSTALL @ 40866:86432f19ad96

(mostlyclean, clean, distclean, maintainer-clean): Add *.dvi and *.log. (SOURCES): Update the list of files.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 10 Nov 2001 10:45:17 +0000
parents 202a8b235456
children f644b704f8b8
line wrap: on
line diff