rustdoc
rustdoc copied to clipboard
Flag: html-*-content
This issue is part of https://github.com/steveklabnik/rustdoc/issues/125
I'm lumping two into this issue:
--html-before-content: include more HTML before the content
Using this flag looks like this:
$ rustdoc src/lib.rs --html-before-content extra.html
$ rustdoc README.md --html-before-content extra.html
This flag takes a list of files, and inserts them inside the <body> tag but
before the other content rustodc would normally produce in the rendered
documentation.
--html-after-content: include more HTML after the content
Using this flag looks like this:
$ rustdoc src/lib.rs --html-after-content extra.html
$ rustdoc README.md --html-after-content extra.html
This flag takes a list of files, and inserts them before the </body> tag but
after the other content rustodc would normally produce in the rendered
documentation.
Should we keep this flag or not?
I think we should support this use-case, but I'm not sure that this flag is the right way to do it.
We talked about this at the tools team meeting today and the intention is to figure out support for lightly customizing rustdoc's output as a first-class thing, but not necessarily via this low-level mechanism.