diff man/building.texi @ 66652:b70f4b8058da

Use GZIP_PROG instead of GZIP.
author Andreas Schwab <schwab@suse.de>
date Thu, 03 Nov 2005 16:59:33 +0000
parents 9600fc8cfb65
children 4cce2bac0f79
line wrap: on
line diff