The Coq mailing list

[CJ Bell <siegebell+coq AT gmail.com>]

On Wed, Mar 18, 2015 at 5:49 PM, Marcus Ramos
<marcus.ramos AT univasf.edu.br>
 wrote:
> I run coq_makefile ("coq_makefile *.v -R . > __makefile.coq") to generate

The -R option expects two arguments:
...
-R dir -as coqdir recursively map physical dir to logical coqdir
-R dir coqdir (idem)
...


-cj