diff etc/nxml/020D0-020FF.el @ 108974:f282583957c5

* Makefile.in (install-arch-indep): Delete any old info .gz files first.
author Glenn Morris <rgm@gnu.org>
date Fri, 11 Jun 2010 20:35:55 -0700
parents d552bb0a2e9e
children ef719132ddfa
line wrap: on
line diff