diff man/building.texi @ 54416:1801d78c3f81

(Advanced): Replace @unnumberedsubsec by @subheading (as suggested by Karl Berry). Update information about colored stars in menus. Add new subheading describing M-n.
author Luc Teirlinck <teirllm@auburn.edu>
date Thu, 18 Mar 2004 02:48:20 +0000
parents 6534ec3bbe32
children 66ec9893d229
line wrap: on
line diff