diff options
| author | krasimir <krasimir@chalmers.se> | 2016-01-14 19:03:13 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2016-01-14 19:03:13 +0000 |
| commit | 5576688410be1af128fb92a796c096bb8a0dcf62 (patch) | |
| tree | 4067edb4834a14ffd68956499db2ccab3cf33bc8 /src/runtime/java/Makefile | |
| parent | 9aeefe69258a285e40dfce3e1feca1598a24e65c (diff) | |
javadoc comments in the Java binding
Diffstat (limited to 'src/runtime/java/Makefile')
| -rw-r--r-- | src/runtime/java/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/runtime/java/Makefile b/src/runtime/java/Makefile index ebad974e8..5b622f3ea 100644 --- a/src/runtime/java/Makefile +++ b/src/runtime/java/Makefile @@ -22,6 +22,9 @@ jpgf.jar: $(patsubst %.java, %.class, $(JAVA_SOURCES)) install: libjpgf.la jpgf.jar libtool --mode=install install -s libjpgf.la $(INSTALL_PATH) +doc: + javadoc org.grammaticalframework.pgf org.grammaticalframework.sg -d java-api + clean: rm -f *.lo rm -f *.la |