-R . iel
-Q "../external/base-library" PslBase
 COQDOCFLAGS = "--charset utf-8 --parse-comments -s --with-header ../website/resources/header.html --with-footer ../website/resources/footer.html --index indexpage"

forms.v
nd.v 
embeddingIPC.v
embeddingCoq.v
modelsClassicalCompleteness.v
modelsConstructiveCompletenesss.v
decidability.v
permutationScIEL.v
structuralProperties.v
decidabilityK.v
permutationSCforK.v
Permutations.v
percival.v
toolbox.v
gentree.v

