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