diff --git a/common.make b/common.make index 00e58fc8..f40f736a 100644 --- a/common.make +++ b/common.make @@ -517,11 +517,19 @@ ifeq ($(JAVAH),) JAVAH = $(JAVA_HOME)/bin/javah endif +# +# The Java Doc Tool. +# +ifeq ($(JAVADOC),) + JAVADOC = $(JAVA_HOME)/bin/javadoc +endif + # # Flags useful for compilation # INTERNAL_JAVACFLAGS = -classpath ./:$(CLASSPATH) INTERNAL_JAVAHFLAGS = -classpath ./:$(CLASSPATH) +#INTERNAL_JAVADOCFLAGS = ## Local variables: ## mode: makefile