I took Rob Landley's nice "menuconfig2html.py" script from
[coreboot.git] / util / optionlist / README
1 This script creates the page http://www.coreboot.org/Coreboot_Options