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

Review Request #1580 — Created Jan. 9, 2015 and submitted

lahosken
pants
614, 920
58c8a3f...
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

ZU
  1. Ship It!
  2. 
      
LA
ZU
  1. still lgtm

  2. 
      
LA
Review request changed

Status: Closed (submitted)

Loading...