diff options
| -rwxr-xr-x | aux/workflow/assert-manpages.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/aux/workflow/assert-manpages.sh b/aux/workflow/assert-manpages.sh index 7f12626..a2bd3f9 100755 --- a/aux/workflow/assert-manpages.sh +++ b/aux/workflow/assert-manpages.sh @@ -173,6 +173,10 @@ for f in $(find doc -type f -name '*.[0-9]'); do continue fi + if [ ! -s "$f" ]; then + continue + fi + lang="$(echo "$f" | cut -d. -f2)" case "$lang" in pt) |