diff Gui/events.h @ 3519:c87577a541de

Patch by Adam Di Carlo <adam@onshore-devel.com>: * Makefile: use a mandir setting, default to ${prefix}/man; this lets us override it for Debian for instance which uses /usr/share/man rather than /usr/man
author pl
date Sun, 16 Dec 2001 11:32:59 +0000
parents 93351eec9f1f
children 3473ca9ef158
line wrap: on
line diff