diff options
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
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 .. |