diff doc/misc/faq.texi @ 110959:88da5c66a589

More make-dist simplification. * make-dist: Remove --compress. Check for the appropriate gzip-like executable, and if not found, don't compress. Check version number in README, don't change it. Use find for nt/inc/*.h.
author Glenn Morris <rgm@gnu.org>
date Tue, 12 Oct 2010 20:08:45 -0700
parents f537cb2035e9
children 4db798bcd48b
line wrap: on
line diff