Currently, we have a few external dependencies, like tacit.css or jquery.js, which we refer to, from the .html that we generate. Would be more convenient to download them all in Makefile and then include in the HTML. This will make the HTML document more network-independent.
Currently, we have a few external dependencies, like
tacit.css
orjquery.js
, which we refer to, from the.html
that we generate. Would be more convenient to download them all inMakefile
and then include in the HTML. This will make the HTML document more network-independent.