if JAVA
HTML = about.html deprecated.html package-list alphaindex.html \
index.html serialized-form.html \
resources/gjdochtml-clean-color1.css \
resources/gjdochtml-clean-layout.css resources/gjdoc.js \
resources/inherit.png gnu/inet/encoding/classes.html \
gnu/inet/encoding/CombiningClass.html \
gnu/inet/encoding/Composition.html \
gnu/inet/encoding/DecompositionKeys.html \
gnu/inet/encoding/DecompositionMappings.html \
gnu/inet/encoding/IDNAException.html \
gnu/inet/encoding/IDNA.html gnu/inet/encoding/NFKC.html \
gnu/inet/encoding/package-summary.html \
gnu/inet/encoding/PunycodeException.html \
gnu/inet/encoding/Punycode.html gnu/inet/encoding/RFC3454.html \
gnu/inet/encoding/StringprepException.html \
gnu/inet/encoding/Stringprep.html gnu/inet/encoding/tree.html
EXTRA_DIST = $(HTML)
all-local: $(HTML)
$(HTML): ../../java/gnu/inet/encoding/*.java
cd ../../java && make javadoc
clean-local:
rm -f $(HTML)
endif