Skip to content

Included coqdocjs

Max Ole Elliger requested to merge include-coqdocjs into main

This commit includes coqdocjs to our template. By this update, the libname is not longer included to the html-output, so it got removed from the Makefile.

Merge request reports