search

affeldt-aist / coq2html

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

internal links #10

Closed affeldt-aist closed 5 months ago

affeldt-aist commented 8 months ago

minor: some internal links seem broken: https://yoshihiro503.github.io/coq2html/mathcomp.classical.mathcomp_extra.html#P:4 works great but https://yoshihiro503.github.io/coq2html/mathcomp.classical.mathcomp_extra.html#T:2 doesn't @proux01

affeldt-aist commented 5 months ago

this might be related to issue #11

proux01 commented 5 months ago

Yes and fixed upstrem by https://github.com/coq/coq/pull/18527 which will land in Coq 8.20, this can be closed.