Documentation commands

Mainly reformatting of texinfo file