1 files changed, 3 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index 19cd9712b..0f04a94cb 100644
--- a/Makefile
+++ b/Makefile
@@ -18,6 +18,9 @@ all %:
 .PHONY: test
 test: check
 
+.PHONY: doc
+doc: doc-builds
+
 submission:
 	if [ ! -e configure ]; then ./autogen.sh; fi
 	./configure competition --disable-shared --enable-static-binary