The Coq mailing list

[Ralf Jung <post AT ralfj.de>]

Hi,

> Thanks Ralf. I tried that, however the output is:
> 
> $ make -f __makefile.coq clean
> /usr/bin/sh: -c: line 0: erro de sintaxe próximo do `token' não esperado `('
> /usr/bin/sh: -c: line 0: `{ C:\Program Files (x86)\Coq\bin\coqtop -config |
> tr -d '\r' | tr '\n' '@'; }'

I cannot completely understand this, but it looks like something doesn't
like the spaces? I have no experience with the CLI on Windows.

It seems to delete your files just fine though. So what's the problem?
Just re-run "make" now.

Kind regards,
Ralf