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 8fda7ee..50ab884 100755 --- a/doxygen/build_man.sh +++ b/doxygen/build_man.sh @@ -79,7 +79,7 @@ post_process(){ fix_newlines=true || fix_newlines=false # Decide if we need to fix double-to-single-quote conversion - [ $doxymajor -eq 1 -a $doxyminor -ge 9 -a $doxyminor < 13 ] && + [ $doxymajor -eq 1 -a $doxyminor -ge 9 -a $doxyminor -lt 13 ] && fix_quotes = true || fix_quotes=false # Work through the "real" man pages |