GitLab

(ENVADD): Redefine as empty, to avoid requiring a Unixy shell.
(TEXINPUTS): Use semi-colon; export explicitly.
(MAKEINFO): Export explicitly.