update texinfo manual