diff options
Diffstat (limited to 'devel/tla/Makefile')
| -rw-r--r-- | devel/tla/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/tla/Makefile b/devel/tla/Makefile index cfaec392254c..49383456f407 100644 --- a/devel/tla/Makefile +++ b/devel/tla/Makefile @@ -40,7 +40,7 @@ test: cd ${WRKSRC} ; ${MAKE_CMD} test pre-install: - ${RM} -rf ${ORIGWRKSRC}/docs-tla/PLUGIN \ + ${RM} -r ${ORIGWRKSRC}/docs-tla/PLUGIN \ ${ORIGWRKSRC}/docs-tla/{arch} ${ORIGWRKSRC}/docs-tla/.arch-ids do-install: |