Cater for bold line number in del_def_at_lines()
Signed-off-by: Duncan Roe <duncan_roe@xxxxxxxxxxxxxxx>
---
doxygen/build_man.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doxygen/build_man.sh b/doxygen/build_man.sh
index 852c7b8..c68876c 100755
--- a/doxygen/build_man.sh
+++ b/doxygen/build_man.sh
@@ -96,7 +96,7 @@ fix_double_blanks(){
del_def_at_lines(){
linnum=1
while [ $linnum -ne 0 ]
- do mygrep "^Definition at line [[:digit:]]* of file" $target
+ do mygrep '^Definition at line (\\fB)?[[:digit:]]*(\\fP)? of file' $target
[ $linnum -eq 0 ] || delete_lines $(($linnum - 1)) $linnum
done
}
--
2.17.5
