diff --git a/Makefile b/Makefile index 6e92858ad50..1ec8ce7cbaf 100644 --- a/Makefile +++ b/Makefile @@ -12,6 +12,8 @@ default: $(TOP)/configs/current fi \ done +all: default + doxygen: cd doxygen && $(MAKE)