diff make-dist @ 105501:e3e540de3898

(batch-update-autoloads): Rather than having the list of preloaded files passed on the command-line, get it from src/Makefile.
author Glenn Morris <rgm@gnu.org>
date Wed, 07 Oct 2009 07:18:53 +0000
parents b51e687e8c81
children a431286b73b3
line wrap: on
line diff