diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2019-01-03 18:38:57 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-01-03 18:38:57 +0100 |
commit | d27d60b3bca61684a2b6e14f984e02d8a7ecd15c (patch) | |
tree | 4f86aae77a55d1b1fdae6a2ed9a711d870f1627d /tools | |
parent | Merge pull request #11244 from yuwata/revert-udev-changes (diff) | |
parent | docs: generate index.md in Jekyll (diff) | |
download | systemd-d27d60b3bca61684a2b6e14f984e02d8a7ecd15c.tar.xz systemd-d27d60b3bca61684a2b6e14f984e02d8a7ecd15c.zip |
Merge pull request #11317 from filbranden/docs1
Improvements to systemd.io generation
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/make-index-md.sh | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/tools/make-index-md.sh b/tools/make-index-md.sh deleted file mode 100755 index 78506cbf39..0000000000 --- a/tools/make-index-md.sh +++ /dev/null @@ -1,32 +0,0 @@ -#!/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 |