installdir = $(PRIVATE_HTTPDDIR)/jquery # jQuery framework; see https://jquery.com/ install_DATA = jquery.min.js # jQuery user interface; see https://jqueryui.com/ install_DATA += jquery-ui.min.js # jQuery plugins install_DATA += jquery.stickytableheaders.min.js