diff make-dist @ 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 4f510fa72be2
children 8d976ea08d41
line wrap: on
line diff