diff man/building.texi @ 47668:bcc91f26d220

Fix Texinfo build failure by running `texinfo-all-menus-update'.
author Robert J. Chassell <bob@rattlesnake.com>
date Sat, 28 Sep 2002 19:38:45 +0000
parents 36ac28961e4f
children 6be0f6ca3d49
line wrap: on
line diff