diff --git a/doc/conf.py b/doc/conf.py index ed831f5c7..c9bf319d3 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -41,10 +41,10 @@ VERSION_LABELS = True # There used to be a Pygments patch that would recognize the suffix as part of # the literal, https://github.com/pygments/pygments/pull/1303, but it fell # though the cracks and I was unable to resubmit it again. So this patch adds -# both the color swatch and removes the in between. # TODO either resubmit the patch or do this patching also for all others (_deg, # _rad, _sec, _nsec, ...) -_magnum_colors_src = re.compile(r"""0x(?P[0-9a-f]{6})(?P[0-9a-f]{2})?()?(?P_s?rgba?f?)""") +_magnum_colors_src = re.compile(r"""0x(?P[0-9a-f]{6})(?P[0-9a-f]{2})?()?(?P_s?rgba?(f|h)?)""") _magnum_colors_dst = r"""0x\g\g\g""" # Code wrapped in DOXYGEN_ELLIPSIS() will get replaced by an (Unicode) ellipsis