diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/build/options/makeman | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tools/build/options/makeman b/tools/build/options/makeman index ca69f1b..d29fe0a 100755 --- a/tools/build/options/makeman +++ b/tools/build/options/makeman @@ -260,6 +260,7 @@ EOF done echo '.El' fi + twiddle >&2 done cat <<EOF .El @@ -283,4 +284,13 @@ This manual page was autogenerated. EOF } +twiddle_pos=0 +twiddle() +{ + local c0='|' c1='/' c2='-' c3='\' + + eval printf '%c\\b' '$c'${twiddle_pos} + twiddle_pos=$(((twiddle_pos+1)%4)) +} + main |
