blob: de4a7e4901a1d81e59cb98d6f23d248ba8248077 (
plain)
1
2
3
4
5
6
7
|
===========================================================================
$NetBSD: MESSAGE,v 1.2 2003/12/31 01:20:35 kristerw Exp $
In order for the maude binary to find the .maude files you should set
the environment variable MAUDE_LIB to point to ${PREFIX}/share/maude.
===========================================================================
|
