make gfdoc
This commit is contained in:
1 parent
8a0d51c5f6
commit
0b55c09abb
2 files changed
+11
-10
No files matched your search
@@ -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 ..
|
||||
Reference in new issue
Block a user