diff man/building.texi @ 51270:827c306f0515

Add missing code from previous patch by David Ponce.
author Juanma Barranquero <lekktu@gmail.com>
date Tue, 27 May 2003 22:34:58 +0000
parents b65aa1d740eb
children 35bdcc98e5b1
line wrap: on
line diff