Do build docs in another PR
Do build docs in another PR

barneycarroll/mithril.js,impinball/mithril.js,MithrilJS/mithril.js,barneycarroll/mithril.js,MithrilJS/mithril.js,pygy/mithril.js,impinball/mithril.js,pygy/mithril.js