1
0
mirror of https://github.com/esp8266/Arduino.git synced 2025-10-21 08:47:48 +03:00
Commit Graph

153 Commits

Author SHA1 Message Date
Pascal Gollor
f24deab2b5 add bash script to build documentation 2015-11-01 19:54:07 +01:00
Ivan Grokhotkov
7826ff9710 Fix boards manager package size issue
Because git ls-files was run in package directory, it didn't list tools directories, so these were not excluded from rsync, causing package to include local copy of tools. Fixed by changing into root directory before doing anything.
2015-11-01 21:45:59 +03:00
Ivan Grokhotkov
444a37987e Use jq to generate package json 2015-10-30 17:40:17 +03:00