rillig b32b7657bb Replaced the deprecated INSTALLATION_DIRS_FROM_PLIST with AUTO_MKDIRS, ... to shut up the pkglint warnings.		2008-02-28 11:58:47 +00:00
..
patches	Updated maude to 2.3.	2007-12-01 13:15:55 +00:00
DESCR
distinfo	Updated maude to 2.3.	2007-12-01 13:15:55 +00:00
Makefile	Replaced the deprecated INSTALLATION_DIRS_FROM_PLIST with AUTO_MKDIRS,	2008-02-28 11:58:47 +00:00
MESSAGE
PLIST	Maybe it's better to keep the directory for the *.maude files as it was	2007-12-01 13:17:56 +00:00