Leah Rowe bfece925c5 rename build/docs/docs to build/docs/html %!s(int64=7) %!d(string=hai) anos
..
helpers bfece925c5 rename build/docs/docs to build/docs/html %!s(int64=7) %!d(string=hai) anos
misc 4b0752e1c2 re-add old build system (for x86 boards/utils) %!s(int64=8) %!d(string=hai) anos