Dune-release 1.3.1
See full changelog
- Fix a bug in documentation publication where under certain circumstances the
doc would be published in a
_htmlfolder instead of being published at the root ofgh-pages(#157, @NathanReb)
_html folder instead of being published at the
root of gh-pages (#157, @NathanReb)