diff options
Diffstat (limited to 'doxygen/build_man.sh')
| -rwxr-xr-x | doxygen/build_man.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doxygen/build_man.sh b/doxygen/build_man.sh index e0cda71..63e02dc 100755 --- a/doxygen/build_man.sh +++ b/doxygen/build_man.sh @@ -69,6 +69,10 @@ post_process(){ del_empty_det_desc del_def_at_lines fix_double_blanks + + # Fix rendering of verbatim "\n" (in code snippets) + sed -i 's/\\n/\\\\n/' $target + done remove_temp_files |