Skip to content

remove Makefile patching and fix links in spec

Björn Brandenburg requested to merge wip-coqdoc-tweaks into master

Work around the broken mathcomp links in the spec (see https://github.com/coq/coq/issues/18434). While at it, remove the Makefile.coq.patch hack.

Merge request reports