tree e7c8cdd34c1b3d1d7e6e9301227ad168b07f8582
parent 94c47ae2bc67c54a68d227abbb47c27ae97cc232
author Fabio Utzig <utzig@apache.org> 1563386347 -0300
committer Fabio Utzig <utzig@utzig.org> 1563543734 -0300

Remove separate versioned docs dir

This removes around 750MB of docs that were stored under versions. Those
were versioned copies of the entire tree of most mynewt repos. For the
website generatoin, instead of generating docs from versioned tree copies,
just get the information directly from the tagged git releases.