- disable man pages generation Mostly bug fixes. Full list of changes: https://cgit.freedesktop.org/gummiboot/log/ Signed-off-by: Oskari Rauta <oskari.rauta@gmail.com>