From 31c15a0873f2a33600f98f5563c6cea39e79ce9a Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Mon, 13 Dec 2021 13:40:37 -0700 Subject: [PATCH] Use one instead of two regexes. --- doc/doxygen/scripts/filter | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/doc/doxygen/scripts/filter b/doc/doxygen/scripts/filter index cb4757b44e..b8c293c8dd 100755 --- a/doc/doxygen/scripts/filter +++ b/doc/doxygen/scripts/filter @@ -26,11 +26,11 @@ while (<>) ######################################################## - # make sure we can just write $...$ for formulas. - s/\$/\@f\$/g; - - # however, undo that change if the dollar sign was escaped with a backslash - s/\\\@f\$/\$/g; + # Make sure we can just write $...$ for formulas, except if + # the dollar sign was escaped with a backslash (use negative + # look-behind to detect that case, using (?