From 0b55c09abbac9ce56bc7ca1bc03e9ca3dd74d6a4 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Tue, 22 Jun 2004 14:54:05 +0000
Subject: make gfdoc

---
 src/Makefile | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/Makefile')

diff --git a/src/Makefile b/src/Makefile
index 08917e4e8..640d90500 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -133,3 +133,5 @@ install: install-gf2
 	$(INSTALL) -d $(libdir)/GF-$(PACKAGE_VERSION)
 	$(INSTALL) jgf2 $(bindir)
 	$(INSTALL) java/gf-java.jar $(libdir)/GF-$(PACKAGE_VERSION)
+gfdoc:
+	cd util ; $(GHMAKE) GFDoc.hs -o gfdoc ; cd ..
-- 
cgit v1.2.3