diff options
Diffstat (limited to 'devel/devtodo/Makefile')
-rw-r--r-- | devel/devtodo/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/devel/devtodo/Makefile b/devel/devtodo/Makefile index bf78918804fe..cb49e9a0c2e5 100644 --- a/devel/devtodo/Makefile +++ b/devel/devtodo/Makefile @@ -6,7 +6,7 @@ # PORTNAME= devtodo -PORTVERSION= 0.1.14 +PORTVERSION= 0.1.17 CATEGORIES= devel MASTER_SITES= http://devtodo.sourceforge.net/?${PORTVERSION}/ @@ -21,9 +21,9 @@ USE_REINPLACE= yes CFLAGS+= -DSTDC_HEADERS MAN1= devtodo.1 -MLINKS= devtodo.1 tda.1 devtodo.1 tdd.1 devtodo.1 tde.1 devtodo.1 tdr.1 \ - devtodo.1 todo.1 -MANCOMPRESSED= yes +MLINKS= devtodo.1 tda.1 devtodo.1 tdd.1 devtodo.1 tde.1 devtodo.1 tdl.1 \ + devtodo.1 tdr.1 devtodo.1 todo.1 +MANCOMPRESSED= no post-patch: @${REINPLACE_CMD} -e 's/^\ttest -f.*todorc.*\n//' ${WRKSRC}/doc/Makefile.in |