diff options
| -rwxr-xr-x | doxygen/build_man.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doxygen/build_man.sh b/doxygen/build_man.sh index d262f12..95c7569 100755 --- a/doxygen/build_man.sh +++ b/doxygen/build_man.sh @@ -42,7 +42,7 @@ rename_real_pages(){ do j=$(ed -s $i <<//// /Functions/+1;.# -/^\.RI/;.# +/^\\.RI/;.# .,.s/^.*\\\\fB// .,.s/\\\\.*// .,.w /dev/stdout |