Constant HAVE_TEXI2HTML

Source
pub const HAVE_TEXI2HTML: u32 = 0;