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

# Hack to see derive even if it is not installed yet
-Q ../derive/theories elpi.apps
-Q ../derive/elpi elpi.apps.derive

-R theories elpi.apps.eltac

theories/assumption.v
theories/constructor.v
theories/intro.v
theories/clear.v
theories/fail.v
theories/discriminate.v
theories/injection.v
theories/case.v
theories/generalize.v
theories/cycle.v
theories/tactics.v
