diff options
author | Chris Akritidis <43294513+cakrit@users.noreply.github.com> | 2018-12-06 18:16:05 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-12-06 18:16:05 +0100 |
commit | f1036f74f7045ecca98ce2cad96ab7b6b0c239d1 (patch) | |
tree | 9ec931d8e6d91e23beb0795fe20f9bf622549c94 /docs/generator/checklinks.sh | |
parent | 31f14e5855c133aefba4aa91a5466f19bb1be540 (diff) |
Config docs improvements (#4918)
* WIP to add a new config readme
* WIP
* WIP
* WIP
* WIP
* WIP
* Major rewrite of configuration instructions and minor improvements to the html doc site
* Major rewrite of configuration instructions and minor improvements to the html doc site
* Major rewrite of configuration instructions and minor improvements to the html doc site
* Major rewrite of configuration instructions and minor improvements to the html doc site
* Major rewrite of configuration instructions and minor improvements to the html doc site
* Major rewrite of configuration instructions and minor improvements to the html doc site
* Major rewrite of configuration instructions and minor improvements to the html doc site
* Major rewrite of configuration instructions and minor improvements to the html doc site
Diffstat (limited to 'docs/generator/checklinks.sh')
-rwxr-xr-x | docs/generator/checklinks.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/generator/checklinks.sh b/docs/generator/checklinks.sh index 628c6aee5c..d0c3b165ce 100755 --- a/docs/generator/checklinks.sh +++ b/docs/generator/checklinks.sh @@ -119,7 +119,7 @@ testinternal () { ilnk=${3} header=${ilnk//-/} dbg "-- Searching for \"$header\" in $ifile" - tr -d ',_.:? `'< "$ifile" | sed 's/-//g' | grep -i "^\\#*$header\$" >/dev/null + tr -d '[],_.:? `'< "$ifile" | sed 's/-//g' | grep -i "^\\#*$header\$" >/dev/null if [ $? -eq 0 ] ; then dbg "-- $ilnk found in $ifile" return 0 |