From 79f3c8563ec8a6e6e36902a6742a64b1aac04532 Mon Sep 17 00:00:00 2001
From: bringert <unknown>
Date: Tue, 22 Jun 2004 14:59:04 +0000
Subject: [PATCH] install target now installs gfdoc

---
 src/Makefile | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/src/Makefile b/src/Makefile
index 640d90500..6972a1723 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -129,9 +129,16 @@ install-gf2:
 	$(INSTALL) -d $(bindir)
 	$(INSTALL) ../bin/gf2 $(bindir)
 
-install: install-gf2
+install-gfdoc: 
+	$(INSTALL) -d $(bindir)
+	$(INSTALL) util/gfdoc $(bindir)
+
+install-editor:
 	$(INSTALL) -d $(libdir)/GF-$(PACKAGE_VERSION)
 	$(INSTALL) jgf2 $(bindir)
 	$(INSTALL) java/gf-java.jar $(libdir)/GF-$(PACKAGE_VERSION)
+
+install: install-gf2 install-gfdoc install-editor
+
 gfdoc:
 	cd util ; $(GHMAKE) GFDoc.hs -o gfdoc ; cd ..