diff etc/TUTORIAL.es @ 48136:c102d9848214

(generate-file-autoloads, update-file-autoloads): Strip .gz extensions. (update-autoloads-from-directories): Also consider compressed files.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Sun, 03 Nov 2002 12:37:48 +0000
parents d155b00f8345
children c1e17d99ee25
line wrap: on
line diff