-R theories Coqdoc

COQDOCFLAGS = "--index indexpage -g -coqlib_url http://rocq-prover.org/stdlib --utf8"

theories/test.v
