Add texinfo build target for document
Rebase and merge pull request #330.

  Add texinfo build target for document