From aa4257efef4bb48ddc0081f9c9d344cf06391da2 Mon Sep 17 00:00:00 2001 From: Thomas Hallgren Date: Mon, 22 Oct 2018 21:43:41 +0200 Subject: [PATCH] Add a 'make doc' target in the main Makefile It first build the RGL, then calls doc/Makefile, with the corrent GF_LIB_PATH, to build the documentation. --- Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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