UniMath/UniMath — pull request #44 by benediktahrens (2014-11-04 16:02:18+00:00)
Title: add '$ make doc' with files in assets now properly licensed

adds new option
```bash
$ make doc
```
to make html documentation with toggable proofs in directory "enhanced-html"
The original
```bash
$ make html
```
is unmodified, goes to directory "html"

Files by Guillaume Verdier, https://github.com/gverdier/coqdoc-overlay