diff man/building.texi @ 72718:240ffd11cdc0

Comment change.
author Richard M. Stallman <rms@gnu.org>
date Fri, 08 Sep 2006 11:59:00 +0000
parents a085a4e8fd54
children 89ca8074ddae 6823a91487f2
line wrap: on
line diff