search

coq-contribs / zfc

An encoding of Zermelo-Fraenkel Set Theory in Coq
GNU Lesser General Public License v2.1
21 stars 3 forks source link

Cleaning .aux files. #3

Open georgydunaev opened 5 years ago

georgydunaev commented 5 years ago

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

herbelin commented 5 years ago

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.