diff options
| author | bptato <nincsnevem662@gmail.com> | 2023-09-20 17:55:24 +0200 |
|---|---|---|
| committer | bptato <nincsnevem662@gmail.com> | 2023-09-20 17:55:24 +0200 |
| commit | c5352cbcf3c1d0a6090604f77d6d45d87b8d2473 (patch) | |
| tree | 0a85c862182191a25ba725934ecca2dd6eac3ef1 | |
| parent | 116660d75a4383b734e7a80a65c94d1bd3a69c9e (diff) | |
| download | chawan-c5352cbcf3c1d0a6090604f77d6d45d87b8d2473.tar.gz | |
config.md: more preprocessing
| -rw-r--r-- | Makefile | 4 | ||||
| -rw-r--r-- | doc/config.md | 2 |
2 files changed, 4 insertions, 2 deletions
diff --git a/Makefile b/Makefile index d10ccf11..50d324f1 100644 --- a/Makefile +++ b/Makefile @@ -51,7 +51,9 @@ clean: .PHONY: manpage manpage: - sed '/<!-- TOCSTART -->/,/<!-- TOCEND -->/d' doc/config.md | ./table_rewrite.sh > .obj/cha-config.md + sed '/<!-- TOCSTART -->/,/<!-- TOCEND -->/d' doc/config.md | \ + sed '1s/<!-- \(.*\) -->/\1/' | \ + ./table_rewrite.sh > .obj/cha-config.md pandoc --standalone --to man .obj/cha-config.md -o .obj/cha-config.5 cp doc/cha.1 "$(OBJDIR)/cha.1" diff --git a/doc/config.md b/doc/config.md index 8c8acff6..a6020735 100644 --- a/doc/config.md +++ b/doc/config.md @@ -1,4 +1,4 @@ -% cha-config(5) | Configuration of Chawan +<!-- % cha-config(5) | Configuration of Chawan --> # Configuration of Chawan |