[skip changelog] Add CLI documentation#602

Merged

masci merged 15 commits intomasterfrom

Mar 5, 2020

Commits on Mar 4, 2020

added command reference generator

Massimiliano Pippi
authored and
masci
committed
add first draft of docs

Massimiliano Pippi
authored and
masci
committed
add mkdocs build

Massimiliano Pippi
authored and
masci
committed
use more recent action

Massimiliano Pippi
authored and
masci
committed
add GH pages deploy step

Massimiliano Pippi
authored and
masci
committed
publish docs only when pr is merged

Massimiliano Pippi
authored and
masci
committed
add generated docs for protobuf

Massimiliano Pippi
authored and
masci
committed
added arduino logo

Massimiliano Pippi
authored and
masci
committed
temporarily re-enable publishing

Massimiliano Pippi
authored and
masci
committed
automate grpc docs generation

Massimiliano Pippi
authored and
masci
committed
do not track generated files

Massimiliano Pippi
authored and
masci
committed
improve Taskfile to support local development

Massimiliano Pippi
authored and
masci
committed
add docs for working on docs, much meta

Massimiliano Pippi
authored and
masci
committed
leftover

Massimiliano Pippi
authored and
masci
committed
restore conditional publish

Massimiliano Pippi
authored and
masci
committed