The Coq mailing list

[Hugo Herbelin <Hugo.Herbelin AT inria.fr>]

Hi,

On Mon, Jun 21, 2010 at 08:25:46PM +0100, Edsko de Vries wrote:
> Thanks guys -- that was frustrating me :) The command line help is a
> bit misleading:
> 
> # coqc --help
> ...
>   -R dir -as coqdir      recursively map physical dir to logical coqdir
> 
> whereas there is apparently no "-as" in the syntax. Should I report
> that as a bug?

This was already reported (http://coq.inria.fr/bugs/show_bug.cgi?id=2242)
and fixed in the bug-fix branch for 8.2 but no patch level release has
been made yet that integrates this patch.

Hugo Herbelin