diff options
Diffstat (limited to 'etc/utils')
| -rw-r--r-- | etc/utils/builddoc_lib.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/etc/utils/builddoc_lib.sh b/etc/utils/builddoc_lib.sh index 0ab4fbd..4a8731f 100644 --- a/etc/utils/builddoc_lib.sh +++ b/etc/utils/builddoc_lib.sh @@ -43,7 +43,9 @@ sed -r -e ' /\(\*\*/,/\*\*\)/s/\$/$$/g; /\(\*\*/,/\*\*\)/s/\[/#[#/g; /\(\*\*/,/\*\*\)/s/]/#]#/g; - /\(\*\*/,/\*\*\)/s/\_/#\_#/g; + + # only in 8.4 + # /\(\*\*/,/\*\*\)/s/\_/#\_#/g; # the lexer glues sharp with other symbols /\(\*\*/,/\*\*\)/s/([^A-Za-z0-9 ])#\[#/\1 #[#/g; |