diff options
| author | aarne <unknown> | 2004-06-22 14:54:05 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-06-22 14:54:05 +0000 |
| commit | 0b55c09abbac9ce56bc7ca1bc03e9ca3dd74d6a4 (patch) | |
| tree | 0d7a51cb5641dc423dae318a97e8d64f8042aded /src/Makefile | |
| parent | 8a0d51c5f68fa91fa1ac6dd5d1a96980e0880e26 (diff) | |
make gfdoc
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 .. |