66b6ae
Update `help' functionality: - Change file extension from `.texi' to ${FLAG_BACKEND} variable, inside Texinfo documentation backend.