Index: Makefile
===================================================================
--- Makefile	(revision 3654684bae3cd602c0b72c69bd7374ba54d939d4)
+++ Makefile	(revision 562ddbd1cd2b7c6a772cce1cb1608ccf2d48641d)
@@ -73,4 +73,7 @@
 	find abi kernel boot uspace -type f -regex '^.*\.[ch]$$' | xargs $(FORMAT) -i -sort-includes -style=file
 
+doxy:
+	$(MAKE) -r -C doxygen
+
 # Pre-integration build check
 check: $(CHECK)
@@ -120,4 +123,5 @@
 	$(MAKE) -r -C uspace clean
 	$(MAKE) -r -C boot clean
+	$(MAKE) -r -C doxygen clean
 
 -include Makefile.local