search

xavierleroy / coq2html

An HTML documentation generator for Coq source files
GNU General Public License v2.0
30 stars 11 forks source link

Makefile: fix missing dependency coq2html.cmx: resources.cmx #4

Closed SkySkimmer closed 5 years ago

SkySkimmer commented 5 years ago

This could break parallel builds as witnessed at https://github.com/coq-bench/make-html/blob/db76b0c3b16d15c66aed8efdc750c71fba9e36a6/black_list.rb#L13