diff options
author | Lennart Poettering <lennart@poettering.net> | 2018-10-02 09:53:05 +0200 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2018-10-02 10:43:54 +0200 |
commit | 0bc7a22d9393ee3a806c308e8e1dd387858d44ba (patch) | |
tree | 94aba4e541426a2a0e611f922ccceee5a234326b /tools | |
parent | b2d1fbda781c219feeb83941b00ad7d9837b8734 (diff) | |
download | systemd-0bc7a22d9393ee3a806c308e8e1dd387858d44ba.tar.gz |
docs: add a simple, auto-generated index.md
This is useful for the github pages feature
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/make-index-md.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/tools/make-index-md.sh b/tools/make-index-md.sh new file mode 100755 index 0000000000..1c0dc36103 --- /dev/null +++ b/tools/make-index-md.sh @@ -0,0 +1,15 @@ +#!/bin/sh + +set -eu + +cd "$@"/docs/ +( + echo "# systemd Documentation" + + for f in *.md ; do + if [ "x$f" != "xindex.md" ] ; then + t=`grep "^# " "$f" | head -n 1 | sed -e 's/^#\s*//'` + echo -e "\n* [$t]($f)" + fi + done +) > index.md |