diff options
Diffstat (limited to 'devel/ragel')
| -rw-r--r-- | devel/ragel/Makefile | 3 | ||||
| -rw-r--r-- | devel/ragel/pkg-plist | 1 |
2 files changed, 2 insertions, 2 deletions
diff --git a/devel/ragel/Makefile b/devel/ragel/Makefile index b136ac524520..3309347eba45 100644 --- a/devel/ragel/Makefile +++ b/devel/ragel/Makefile @@ -21,7 +21,8 @@ USE_GMAKE= yes GNU_CONFIGURE= yes CONFIGURE_ENV= AWK="${AWK}" -MAN1= ragel.1 +MAN1= ragel.1 +PLIST_FILES= bin/ragel post-patch: @${FIND} ${WRKSRC} -name "Makefile.in" | ${XARGS} ${REINPLACE_CMD} -e \ diff --git a/devel/ragel/pkg-plist b/devel/ragel/pkg-plist deleted file mode 100644 index 2d32a35552e0..000000000000 --- a/devel/ragel/pkg-plist +++ /dev/null @@ -1 +0,0 @@ -bin/ragel |