odoc
odoc copied to clipboard
Media in odoc 3!
This is a revival of #1005 but with the new asset references from odoc 3.
The main difference for users is that the media target use path instead of odoc references: {image!path/to/image.jpg} without needing any escaping.
See #1005 and #1113 for prior discussions.