diff man/building.texi @ 38952:c2f31ad2923b

Minor cleanups.
author Richard M. Stallman <rms@gnu.org>
date Sat, 25 Aug 2001 19:17:49 +0000
parents 4dd9aeae2f84
children 3b40423b9355
line wrap: on
line diff