diff --git a/devel/Makefile b/devel/Makefile index 8adc70cd4293..8ef571265582 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -1,4 +1,4 @@ -# $Id: Makefile,v 1.137 1998/09/24 00:29:37 vanilla Exp $ +# $Id: Makefile,v 1.138 1998/09/30 13:50:22 vanilla Exp $ # SUBDIR += ElectricFence @@ -107,6 +107,7 @@ SUBDIR += patch SUBDIR += pccts SUBDIR += pcre + SUBDIR += portcheckout SUBDIR += portlint SUBDIR += prc-tools SUBDIR += prcs