# It would be too complicated to remove the javascript that is included in
# javadocs, see the discussion on Debian Java mailing list starting at 
# https://lists.debian.org/debian-java/2018/06/msg00020.html.
embedded-javascript-library please use * [usr/share/doc/liboptions-java/api/script-dir/jquery*.*s]
