From 68a5ef5586dd2dc5b93c110a2200fd4852c80d43 Mon Sep 17 00:00:00 2001
From: rillig <rillig>
Date: Sat, 1 Dec 2007 13:17:56 +0000
Subject: Maybe it's better to keep the directory for the *.maude files as it
 was before the update.

---
 lang/maude/Makefile |  4 ++--
 lang/maude/PLIST    | 20 ++++++++++----------
 2 files changed, 12 insertions(+), 12 deletions(-)

(limited to 'lang/maude')

diff --git a/lang/maude/Makefile b/lang/maude/Makefile
index c7209111007..4787eaaa4c8 100644
--- a/lang/maude/Makefile
+++ b/lang/maude/Makefile
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.18 2007/12/01 13:15:55 rillig Exp $
+# $NetBSD: Makefile,v 1.19 2007/12/01 13:17:56 rillig Exp $
 #
 
 DISTNAME=	Maude-2.3
@@ -17,7 +17,7 @@ USE_TOOLS+=	flex bison
 INSTALLATION_DIRS_FROM_PLIST=yes
 
 post-install:
-	cd ${WRKSRC}/src/Main && ${INSTALL_DATA} *.maude ${PREFIX}/share/examples/maude
+	cd ${WRKSRC}/src/Main && ${INSTALL_DATA} *.maude ${PREFIX}/share/maude
 
 .include "../../devel/buddy/buildlink3.mk"
 .include "../../devel/gmp/buildlink3.mk"
diff --git a/lang/maude/PLIST b/lang/maude/PLIST
index ccc7832896c..e7f9d2821bc 100644
--- a/lang/maude/PLIST
+++ b/lang/maude/PLIST
@@ -1,11 +1,11 @@
-@comment $NetBSD: PLIST,v 1.4 2007/12/01 13:15:55 rillig Exp $
+@comment $NetBSD: PLIST,v 1.5 2007/12/01 13:17:56 rillig Exp $
 bin/maude
-share/examples/maude/linear.maude
-share/examples/maude/machine-int.maude
-share/examples/maude/model-checker.maude
-share/examples/maude/model-checker.maude
-share/examples/maude/prelude.maude
-share/examples/maude/prelude.maude
-share/examples/maude/socket.maude
-share/examples/maude/term-order.maude
-@dirrm share/examples/maude
+share/maude/linear.maude
+share/maude/machine-int.maude
+share/maude/model-checker.maude
+share/maude/model-checker.maude
+share/maude/prelude.maude
+share/maude/prelude.maude
+share/maude/socket.maude
+share/maude/term-order.maude
+@dirrm share/maude
-- 
cgit v1.2.3