diff info/dir @ 109029:85a8c1358bb7

* INSTALL: Info files are compressed by default.
author Glenn Morris <rgm@gnu.org>
date Mon, 21 Jun 2010 00:37:16 -0700
parents 7787e34f5b4f
children 21cb91dca6c7
line wrap: on
line diff