Constant HAVE_MAKEINFO_HTML

Source
pub const HAVE_MAKEINFO_HTML: u32 = 1;