diff man/building.texi @ 36211:cc7054c8906a

Update menus.
author Richard M. Stallman <rms@gnu.org>
date Mon, 19 Feb 2001 23:41:46 +0000
parents 22f75550e788
children e80fc3e25af8
line wrap: on
line diff