[Pkg-rust-maintainers] Not embedding jquery

Fri Aug 5 17:59:00 UTC 2016

Hey all, I wrote an experimental patch to not embed jquery:

https://anonscm.debian.org/cgit/pkg-rust/rust.git/commit/?h=_experiment_jquery&id=6b3175c6

It patches rustdoc to link to /usr/share/javascript/jquery/jquery.min.js instead. However, this is a bit invasive, so I didn't push it to master yet.

Another option is to add a Debian-specific feature to do this only when (e.g.) an environment variable is set, and set this variable during the build so that the build of rust-doc itself takes advantage of this feature. However this is more complex and a bit ugly.

What do you guys think?

X

-- 
GPG: ed25519/56034877E1F87C35
GPG: rsa4096/1318EFAC5FBBDBCE
https://github.com/infinity0/pubkeys.git