Rizo
Rizo
> As the user of the tool, I don't want to have to think about the code in my doc comments being extracted out into a separate file where it's...
I'm considering implementing this feature. What would be the best place to start? Any pointers would be very appreciated as, given the current implementation, I don't see a clean and...
@dbuenzli Can we decide the interface for this feature? I might be able to implement partial support for fragments. It seems like if I intercept the `Html.Html_tree.Relative_link.Id.href` function call during...
As a side note (and to remind myself), it would be useful if this option could be integrated with dune when it's done.
Update: I implemented a limited support for the `--root-uri` option for the proposed `html-fragment` command in https://github.com/ocaml/odoc/pull/166/commits/71f4a3e7e9cbc477130b697bd46015254d630d72. Still need to polish some things, but feedback is welcome!
**Update**: This is partially solved by https://github.com/ocaml/odoc/pull/166, _i.e._, the `odoc html-fragment` command accepts the `--root-uri` option. This is not implemented for the `odoc html` command yet. I'll try to implement...
May I ask everyone to vote with 👍 and 👎, please?
@pmetzger I think the linked post by lpw25 explains the goal relatively well. Do you still have any concrete questions? In general it will make easier to work on changes...
@gs0510 have you started any work on this?