doc: rename "Goals Reference" page -> "Options Reference"

Review Request #1580 - Created Jan. 8, 2015 and submitted

Information
Larry Hosken
pants
614, 920
58c8a3f...
Reviewers
pants-reviews
benjyw, ity, zundel

The docs have a page "Goals Reference". It docs goals... and also "Common" options not associated with any goal (e.g., --print-exception-stacktrace). Those not-associated-with-a-goal options inspire me to rename the page. maybe to "Options Reference"

OTOH, "Goals Reference" isn't an awful name. If folks aren't enthused about renaming the page, I'll mark the issue wontfix and won't pout or declare blood feud or anything.

https://travis-ci.org/pantsbuild/pants/builds/48370354

Eric Ayers
Larry Hosken
Eric Ayers
Larry Hosken
Review request changed

Status: Closed (submitted)

Loading...