diff options
| author | Mike Skec <skec@protonmail.ch> | 2021-03-02 16:09:30 +1100 |
|---|---|---|
| committer | Felix Queißner <felix@ib-queissner.de> | 2021-03-02 10:55:50 +0100 |
| commit | 22759e719d5561ed0dbfd0e45a52a13994699ee3 (patch) | |
| tree | fe53d66d866e67d03e958762758126b088cdfc10 /doc | |
| parent | 9084deb655fd9a0ac434846f4754d6b2aabc13a4 (diff) | |
| download | kristall-22759e719d5561ed0dbfd0e45a52a13994699ee3.tar.gz | |
help.gemini: add spaces after headers
It seems common in gemtext to have a line of spacing after headings. helps with readability a bit
Diffstat (limited to 'doc')
| -rwxr-xr-x | doc/gen-man.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/gen-man.sh b/doc/gen-man.sh index c8e6fdf..19da642 100755 --- a/doc/gen-man.sh +++ b/doc/gen-man.sh @@ -54,8 +54,8 @@ gem_in=$( cat "$gemtext_in" | # Strip a few lines from beginning/end of file. - tail -n +7 | - head -n -7 | + tail -n +9 | + head -n -9 | # First expression replaces all [Text like this] with bold text. # Second expression replaces text like *This* or _this_ with italic text. |