| .. |
|
clean
|
133baead7a
add ./oldbuild scripts: build docs and clean docs
|
7 years ago |
|
config
|
cab47f3178
remove CrOS boards/utils from old build system (new build system has them)
|
8 years ago |
|
dependencies
|
2cbb06bb7d
fix ./build dependencies debian on debian stable (already works on testing)
|
8 years ago |
|
docs
|
bfece925c5
rename build/docs/docs to build/docs/html
|
7 years ago |
|
module
|
db52282cd9
make use of ./oldbuild, not ./build, in the old build system
|
8 years ago |
|
release
|
db52282cd9
make use of ./oldbuild, not ./build, in the old build system
|
8 years ago |
|
roms
|
c365a3d9a7
also add PIKE2008 workaround to SeaBIOS ROMs, not just SeaGRUB
|
8 years ago |
Leah Rowe
bfece925c5
rename build/docs/docs to build/docs/html