diff man/building.texi @ 77785:d02b9dab9f0e

Fix whitespace in previous change.
author Glenn Morris <rgm@gnu.org>
date Wed, 23 May 2007 08:09:05 +0000
parents 460f1bfb58f2
children 62ba8fc1101f 13288374088d dd7c098af727
line wrap: on
line diff