diff options
| -rwxr-xr-x | build-docbook-catalog | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/build-docbook-catalog b/build-docbook-catalog index 6950f3e..669cbf8 100755 --- a/build-docbook-catalog +++ b/build-docbook-catalog @@ -354,21 +354,21 @@ populate_entities() { while [[ ${i} -lt ${#entities[@]} || ${j} -lt ${#avail[@]} ]]; do if [[ ${i} -ge ${#entities[@]} ]]; then echo "Warning: Extra ISO entities file: ${avail[j]}" - let j=j+1 + : $(( j += 1 )) elif [[ ${j} -ge ${#avail[@]} ]]; then echo "Warning: Entities file not found: ${entities[i]}" - let i=i+2 + : $(( i += 2 )) elif [[ ${avail[j]} < ${entities[i]} ]]; then echo "Warning: Extra ISO entities file: ${avail[j]}" - let j=j+1 + : $(( j += j + 1 )) elif [[ ${entities[i]} < ${avail[j]} ]]; then echo "Warning: Entities file not found: ${entities[i]}" - let i=i+2 + : $(( i += i + 2 )) elif [[ ${entities[i]} == ${avail[j]} ]]; then xmlcatalog --noout --add "public" "${entities[i+1]}" \ "file://${isodir}/${entities[i]}" "${ROOT}${CATALOG}" - let j=j+1 - let i=i+2 + : $(( j += j + 1 )) + : $(( i += i + 2 )) else error "${0}: whoah, shouldn't be here" fi |