message: fixing make/local location in doc
diff: @@ -70,7 +70,7 @@ make test-all.sh
  \end{quote}
  %
  \item \emph{Optional:} \, Set local \code{make} variables by editing
  - the file \verb+~/.config/cmdstan/make.local+ or
  + the file \verb+~/.config/stan/make.local+ or
  \verb+<cmdstan-home>/make/local+. See \refappendix{make-options}
  for a list of available options. For most installations, this
  step can be skipped; the default configuration should work for
  