[krbdev.mit.edu #7187] SVN Commit

[Benjamin Kaduk via RT]

Fix HTML rendering of long-form options

We at present only have long-form options for configure, the scope
of the change is somewhat limited.  Our SmartyPants config for Sphinx
causes these options to appear as prefixed with an en dash, instead
of the two hyphens that demarcate the (GNU-style) long-form options.
Using a different type of markup for command options could work around
this, but that would be a much larger patch.
Instead, apply a workaround in the markup for display purposes, which
makes the source a bit more ugly but the output correct.
Man page output is unaffected.

This patch was automatically generated with:
git grep -- -- doc/rst_source | grep -v -- --- | cut -d ':' -f 1
 | uniq | xargs sed -i '' -e 's/\*\*--\([a-zA-Z]\)/**-**\\ **-\1/g'
and manually reviewed for correctness.

https://github.com/krb5/krb5/commit/97104eed1d0fb60faef71284e9194f14a1145993
Author: Benjamin Kaduk <kaduk at mit.edu>
Committer: Ben Kaduk <kaduk at mit.edu>
Commit: 97104eed1d0fb60faef71284e9194f14a1145993
Branch: master
 doc/rst_source/krb_build/doing_build.rst       |    6 +-
 doc/rst_source/krb_build/options2configure.rst |  132 ++++++++++++------------
 2 files changed, 69 insertions(+), 69 deletions(-)