Include grammar and options references at the end of the manual.