diff man/building.texi @ 37205:74427fab3e58

Comment fix.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 05 Apr 2001 12:01:19 +0000
parents 22f75550e788
children e80fc3e25af8
line wrap: on
line diff