diff man/building.texi @ 30176:baf1c4a71548

(handle_USR2_signal, handle_USR1_signal): Use USER_SIGNAL_EVENT.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 13 Jul 2000 14:07:19 +0000
parents 315d6e79ea38
children 561ef681eab5
line wrap: on
line diff