Cleaning .aux files.

[georgydunaev]

Shall "make clean" command clean .aux files? It doesn't.

[herbelin]

Shall "make clean" command clean .aux files? It doesn't.

Good question. Afaik coq_makefile is removing .aux file, but maybe only those for which a .v file exists.