diff man/building.texi @ 62925:aec28f3b7e61

Comment change.
author Glenn Morris <rgm@gnu.org>
date Tue, 31 May 2005 12:10:29 +0000
parents 631fcdc8480c
children c8b57e4594b8 01137c1fdbe9
line wrap: on
line diff