1 # This should eventually become part of a dh_rustdoc program.
2 # Something that does e.g.
3 # find $(DESTDIR) -name jquery.js -execdir ln -sf -T \
4 # /usr/share/doc/rust-doc/html/jquery.js '{}' \;
5 usr/share/javascript/jquery/jquery.min.js usr/share/doc/rust-doc/html/jquery.js
6 usr/share/fonts-font-awesome/css/font-awesome.min.css usr/share/doc/rust-doc/html/fonts-font-awesome.min.css
7 usr/share/javascript/mathjax usr/share/doc/rust-doc/html/mathjax
8 usr/share/javascript/highlight.js/styles/atelier-dune-light.css usr/share/doc/rust-doc/html/highlight.css
9 usr/share/javascript/highlight.js/highlight.js usr/share/doc/rust-doc/html/highlight.js
projects / rustc.git / blob