diff options
| -rwxr-xr-x | doc/gen-man.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/gen-man.sh b/doc/gen-man.sh index 5b8ad18..8391c73 100755 --- a/doc/gen-man.sh +++ b/doc/gen-man.sh @@ -54,8 +54,7 @@ gem_in=$( cat "$gemtext_in" | # Strip a few lines from beginning/end of file. - tail -n +9 | - head -n -9 | + nl | awk 'FNR > 9' | sort -nr | awk 'FNR > 9' | sort -n | cut -f 2- | # First expression replaces all [Text like this] with bold text. # Second expression replaces text like *This* or _this_ with italic text. |