Make docs compile again
[pintos-anon] / src / misc / bochs-2.6.2-build.sh
2015-12-17 John OusterhoutPatches to make Bochs 2.6.2 work with Pintos