Would this be the best way to do it? I want to do it in a way that I can host my own mediawiki server for me and my associates who consider it better than the new documentation method (which AFAIK the community voted against)
wget -r -k -np -p -l 0 http://coreboot.com/wiki -- coreboot mailing list: [email protected] https://mail.coreboot.org/mailman/listinfo/coreboot
