Skip to content

add target html and gallinahtml

Benoit Viguier requested to merge benoit/coq-stdpp:make_html into master

also add html folder to .gitignore so generated doc is not added to the repo

Merge request reports