-
Add the `htmlpretty` target to the Makefile to generate prettier documentation, based on the CoqdocJS project. https://www.ps.uni-saarland.de/~ttebbi/coqdocjs/ https://github.com/tebbi/coqdocjs Many thanks to Tobias Tebbi for creating CoqdocJS.
c99edd11
This project is licensed under the BSD 2-Clause "Simplified" License.
Learn more