1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index ab933c5ce..c87513025 100644
--- a/Makefile
+++ b/Makefile
@@ -195,5 +195,8 @@ uemis.o: uemis.c dive.h uemis.h
 $(OSSUPPORT).o: $(OSSUPPORT).c display-gtk.h
 	$(CC) $(CFLAGS) $(OSSUPPORT_CFLAGS) -c $(OSSUPPORT).c
 
+doc:
+	$(MAKE) -C Documentation doc
+
 clean:
 	rm -f $(OBJS) *~ $(NAME)