doc: add texinfo documentation