From 677cc279ad6a3281145728f0c3cbb4585198584f Mon Sep 17 00:00:00 2001 From: Terence Parr Date: Wed, 16 Jul 2014 12:07:17 -0700 Subject: [PATCH] include annot in javadoc --- bild.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/bild.py b/bild.py index af87271bd..05bccfd04 100755 --- a/bild.py +++ b/bild.py @@ -162,7 +162,8 @@ def clean(): def mkdoc(): mkdir("doc/Java") mkdir("doc/JavaTool") - javadoc(srcdir="runtime/Java/src", trgdir="doc/Java", packages="org.antlr.v4.runtime") + javadoc(srcdir=["runtime/Java/src","runtime/JavaAnnotations/src"], + trgdir="doc/Java", packages="org.antlr.v4.runtime") toolsrc = [TARGETS[t]+"/tool/src" for t in TARGETS] toolsrc = string.join(toolsrc, ":") javadoc(srcdir=toolsrc, trgdir="doc/JavaTool", packages="org.antlr.v4")