diff options
Diffstat (limited to 'tools/make-index-md.sh')
-rwxr-xr-x | tools/make-index-md.sh | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/tools/make-index-md.sh b/tools/make-index-md.sh new file mode 100755 index 0000000000..78506cbf39 --- /dev/null +++ b/tools/make-index-md.sh @@ -0,0 +1,32 @@ +#!/bin/sh + +set -eu + +cd "$@"/docs/ +( + echo -e "# systemd Documentation\n" + + for f in *.md ; do + if [ "x$f" != "xindex.md" ] ; then + t=`grep "^# " "$f" | head -n 1 | sed -e 's/^#\s*//'` + + if [ "x$f" = "xCODE_OF_CONDUCT.md" -o "x$f" = "xCONTRIBUTING.md" ] ; then + # For some reason GitHub refuses to generate + # HTML versions of these two documents, + # probably because they are in some way special + # in GitHub behaviour (as they are shown as + # links in the issue submission form). Let's + # work around this limitation by linking to + # their repository browser version + # instead. This might not even be such a bad + # thing, given that the issue submission form + # and our index file thus link to the same + # version. + u="https://github.com/systemd/systemd/blob/master/docs/$f" + else + u="https://systemd.io/"`echo "$f" | sed -e 's/.md$//'` + fi + echo "* [$t]($u)" + fi + done +) > index.md |