diff options
author | 2018-10-02 09:53:05 +0200 | |
---|---|---|
committer | 2018-10-02 10:43:54 +0200 | |
commit | 0bc7a22d9393ee3a806c308e8e1dd387858d44ba (patch) | |
tree | 94aba4e541426a2a0e611f922ccceee5a234326b /tools | |
parent | Set theme jekyll-theme-modernist (diff) | |
download | systemd-0bc7a22d9393ee3a806c308e8e1dd387858d44ba.tar.gz systemd-0bc7a22d9393ee3a806c308e8e1dd387858d44ba.tar.bz2 systemd-0bc7a22d9393ee3a806c308e8e1dd387858d44ba.zip |
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 000000000..1c0dc3610 --- /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 |