Add manual skeleton.
Rough draft of manual.
Ignore files generated by makeinfo.
Fix typo.
Fix some punctuation.
Fix misnamed menu option.
Fix doc errors.
Build docs when make is run.