opts.cc: fix comment about DOCUMENTATION_ROOT_URL
commit8b4ac021cd1f63125aaf8397479602b950438385
authorDavid Malcolm <dmalcolm@redhat.com>
Tue, 31 Oct 2023 21:05:41 +0000 (31 17:05 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Tue, 31 Oct 2023 21:05:41 +0000 (31 17:05 -0400)
treed28f9e2faa0569789e3415e540530a221ef1c0f4
parentb9e2088d2977441818e8e24f3b497b167992dba0
opts.cc: fix comment about DOCUMENTATION_ROOT_URL

gcc/ChangeLog:
* opts.cc (get_option_url): Update comment; the requirement to
pass DOCUMENTATION_ROOT_URL's value via -D was removed in
r10-8065-ge33a1eae25b8a8.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
gcc/opts.cc