From 25ecbcb079e839d0a590ebcc91b8e9383882b8e6 Mon Sep 17 00:00:00 2001
From: Thomas Hallgren <th-github@altocumulus.org>
Date: Wed, 28 Nov 2018 23:46:45 +0100
Subject: [PATCH] Fix make doc, again

---
 doc/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/Makefile b/doc/Makefile
index 684fe24fc..84ef6da10 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -8,7 +8,7 @@ all: synopsis
 status: status.html
 
 synopsis:
-	make -C synopsis
+	make -C synopsis GF_LIB_PATH=../$(GF_LIB_PATH)
 
 sources:
 	make -C gfdoc sources.html