diff make-dist @ 16776:b998fe0016d5

(completion-ignored-extensions): Separate out the system-independent elements. Add Texinfo index files.
author Richard M. Stallman <rms@gnu.org>
date Sun, 29 Dec 1996 18:59:24 +0000
parents ffc0af16b32a
children 9694822642a7
line wrap: on
line diff