diff --git a/Makefile b/Makefile
index 7fbc22f5..7dd6b915 100644
--- a/Makefile
+++ b/Makefile
@@ -2,7 +2,7 @@
 
 RUNMAKE=runghc Make.hs
 
-.PHONY: build copy install clean
+.PHONY: build copy install doc clean
 
 default: build copy
 
@@ -14,5 +14,8 @@ copy:
 
 install: build copy
 
+doc: build
+	make -C doc GF_LIB_PATH=../dist
+
 clean:
 	$(RUNMAKE) clean