# Hack to see Coq-Elpi even if it is not installed yet
-Q ../../theories elpi
-I ../../src
-docroot elpi.apps

-R theories   elpi.apps

src/coq_elpi_coercion_hook.mlg
src/elpi_coercion_plugin.mlpack

-I src/
src/META.coq-elpi-coercion

theories/coercion.v
