(library
 (name interactive_extension)
 (public_name odoc-interactive-extension.impl)
 (libraries odoc.extension_api unix))

(plugin
 (name odoc-interactive-extension)
 (package odoc-interactive-extension)
 (libraries odoc-interactive-extension.impl)
 (site (odoc extensions)))