FILES_EXT += $(subst web/,,$(wildcard web/extensions/navtex/*.js)) extensions/navtex/navtex.css
