diff options
Diffstat (limited to 'devel/devhelp/Makefile')
| -rw-r--r-- | devel/devhelp/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/devhelp/Makefile b/devel/devhelp/Makefile index 526ec26b844b..f95d376dcea2 100644 --- a/devel/devhelp/Makefile +++ b/devel/devhelp/Makefile @@ -1,5 +1,6 @@ PORTNAME= devhelp PORTVERSION= 41.2 +PORTREVISION= 1 CATEGORIES= devel gnome MASTER_SITES= GNOME/sources/${PORTNAME}/${PORTVERSION:C/^([0-9]+)\..*/\1/} DIST_SUBDIR= gnome |