[doc] improve comment in tools/CoqMakefile.in
[doc] improve comment in tools/CoqMakefile.in
SkySkimmer/coq,ejgallego/coq,ejgallego/coq,SkySkimmer/coq,SkySkimmer/coq,coq/coq,SkySkimmer/coq,coq/coq,ejgallego/coq,ejgallego/coq,coq/coq,coq/coq