diff options
Diffstat (limited to 'devel/Makefile')
| -rw-r--r-- | devel/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/Makefile b/devel/Makefile index a6e49dcff5ce..86f9b37b70d4 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -806,6 +806,7 @@ SUBDIR += ml-doc SUBDIR += mm SUBDIR += mob + SUBDIR += mono-addins SUBDIR += mono-tools SUBDIR += monodoc SUBDIR += monotone |