diff --git a/doc/Makefile b/doc/Makefile
index ef2909617..b5d3be0a3 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,4 +1,4 @@
-basedirs	:= os arch/cpu arch/platform apps
+basedirs	:= os arch/cpu arch/platform
 manuals		:= $(shell find ./ -name "*.txt")
 filetypes	:= -iwholename "*/doc/*.txt"
 empty		:=