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

-R theories   elpi.apps.tc
-R elpi       elpi.apps.tc
-R tests      elpi.apps.tc.tests

src/coq_elpi_tc_register.ml
src/coq_elpi_tc_hook.mlg
src/coq_elpi_class_tactics_takeover.ml
src/coq_elpi_class_tactics_hacked.ml
src/elpi_tc_plugin.mlpack

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

theories/db.v
theories/add_commands.v
theories/tc.v
theories/wip.v
