add some texinfo documents