From 7ebc1ba26227df02e52ea64de51e6a72fcc31774 Mon Sep 17 00:00:00 2001
From: Simon Duquennoy <simon.duquennoy@gmail.com>
Date: Fri, 1 Sep 2017 15:50:30 +0200
Subject: [PATCH] Fix doxygen

---
 doc/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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		:=