diff man/building.texi @ 79523:215063e68c42

(widget-type): Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Sat, 01 Dec 2007 22:59:12 +0000
parents d80c84a0912f
children 02b9a9aa5b0c
line wrap: on
line diff