Merge back in some content from the options page

Review Request #3795 — Created April 30, 2016 and submitted — Latest diff uploaded

zundel
pants
zundel/doc-updates2
d315a22...
pants-reviews
benjyw, jsirois, molsen, patricklaw, stuhood

This re-instantes some content from the old 'invoking' page and put it in the 'options' page.
Also fixes a heading and moves some sections around.

See comments in https://rbcommons.com/s/twitter/r/3767

Staged at http://pantsbuild.github.io/staging/zundel2/options.html

Loading...