diff options
Diffstat (limited to 'lang/maude')
| -rw-r--r-- | lang/maude/Makefile | 4 | ||||
| -rw-r--r-- | lang/maude/PLIST | 20 |
2 files changed, 12 insertions, 12 deletions
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 |