Code

Add versioning to docs#711

Code

Merged

masci merged 8 commits intomasterarduino/arduino-cli:masterfrom

massi/mikearduino/arduino-cli:massi/mikeCopy head branch name to clipboard

May 21, 2020

Commits

Commits on May 18, 2020

• introduce mike

  

  Massimiliano Pippi

  authored and

  masci

  committed
  e0edcca

  Copy full SHA for e0edcca

• use default 'site' dir for output

  

  Massimiliano Pippi

  authored and

  masci

  committed
  9bb4053

  Copy full SHA for 9bb4053

Commits on May 19, 2020

• install mike and pin material theme

  

  Massimiliano Pippi

  authored and

  masci

  committed
  a805402

  Copy full SHA for a805402

• add task to build&publish docs using Mike

  

  Massimiliano Pippi

  authored and

  masci

  committed
  a94c7a5

  Copy full SHA for a94c7a5

• publish dev and versioned docs

  

  Massimiliano Pippi

  authored and

  masci

  committed
  a11f45b

  Copy full SHA for a11f45b

Commits on May 20, 2020

• narrow down env definition

  

  Massimiliano Pippi

  authored and

  masci

  committed
  2d256a2

  Copy full SHA for 2d256a2

• add build script to handle versioning

  

  Massimiliano Pippi

  authored and

  masci

  committed
  5077dc9

  Copy full SHA for 5077dc9

• invoke task, not mike directly

  

  Massimiliano Pippi

  authored and

  masci

  committed
  6647930

  Copy full SHA for 6647930