diff options
Diffstat (limited to 'devel')
| -rw-r--r-- | devel/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/devel/Makefile b/devel/Makefile index 4484bb56f613..719253cf07c8 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -1,4 +1,4 @@ -# $Id: Makefile,v 1.68 1997/07/01 07:49:23 tg Exp $ +# $Id: Makefile,v 1.69 1997/07/08 08:44:17 tg Exp $ # SUBDIR += SWIG @@ -29,7 +29,6 @@ SUBDIR += linux_devel SUBDIR += linuxgdb SUBDIR += m4 - SUBDIR += mimepp SUBDIR += mkmf SUBDIR += mprof SUBDIR += noweb |