1 files changed, 1 insertions, 0 deletions
diff --git a/devel/Makefile b/devel/Makefile
index 319fdfb396f5..f2ae6e6f5863 100644
--- a/devel/Makefile
+++ b/devel/Makefile
@@ -133,6 +133,7 @@
     SUBDIR += clint
     SUBDIR += clisp-hyperspec
     SUBDIR += cmake
+    SUBDIR += cocktail
     SUBDIR += codecrusader
     SUBDIR += codeworker
     SUBDIR += colorer