diff options
| author | Idan Horowitz <idan.horowitz@gmail.com> | 2021-05-04 22:24:13 +0300 |
|---|---|---|
| committer | Andreas Kling <kling@serenityos.org> | 2021-05-04 22:05:12 +0200 |
| commit | 8cc6372b14e75a8af38d59c52e3f654494afd753 (patch) | |
| tree | c99c35be1f991a7114584731ba19e446fe4bd6ba | |
| parent | d29f17e88238f05668637b12e16ba06691caa149 (diff) | |
| download | serenity-8cc6372b14e75a8af38d59c52e3f654494afd753.zip | |
Meta: Strip man prefix from generated man page directories
| -rw-r--r-- | .github/workflows/manpages.yml | 12 | ||||
| -rw-r--r-- | Meta/Websites/man.serenityos.org/index.html | 16 |
2 files changed, 18 insertions, 10 deletions
diff --git a/.github/workflows/manpages.yml b/.github/workflows/manpages.yml index 10c0413b79..38277f5219 100644 --- a/.github/workflows/manpages.yml +++ b/.github/workflows/manpages.yml @@ -21,11 +21,19 @@ jobs: - name: Prepare output directories run: | for d in $MAN_DIR*/; do - mkdir -p output/$(basename "$d") + dir_name=$(basename "$d") + mkdir -p output/${dir_name/man} done - name: Convert markdown to html run: | - find $MAN_DIR -iname '*.md' -type f -exec sh -c 'relative=$(realpath --relative-to=$MAN_DIR $0) && pandoc -f gfm -t html5 -s -o output/${relative%.md}.html ${0}' {} \; + cat << EOF > link-fixup.lua + function Link(el) + el.target = string.gsub(el.target, "%.md", ".html") -- fixup .md to .html links + el.target = string.gsub(el.target, "man", "", 1) -- fixup man1/???.html to 1/???.html links + return el + end + EOF + find $MAN_DIR -iname '*.md' -type f -exec sh -c 'relative_path=$(realpath --relative-to=$MAN_DIR $0) && stripped_path=${relative_path#man} && pandoc -f gfm -t html5 -s --lua-filter=link-fixup.lua -o output/${stripped_path%.md}.html ${0}' {} \; - name: Generate man page listings run: | for d in output/*/; do diff --git a/Meta/Websites/man.serenityos.org/index.html b/Meta/Websites/man.serenityos.org/index.html index 041e08177d..3151ea939c 100644 --- a/Meta/Websites/man.serenityos.org/index.html +++ b/Meta/Websites/man.serenityos.org/index.html @@ -6,13 +6,13 @@ <body> <img src="banner.png" alt="SerenityOS"> <h1>SerenityOS man pages</h1> -<a href="man1/"><p>Man 1</p></a> -<a href="man2/"><p>Man 2</p></a> -<a href="man3/"><p>Man 3</p></a> -<a href="man4/"><p>Man 4</p></a> -<a href="man5/"><p>Man 5</p></a> -<a href="man6/"><p>Man 6</p></a> -<a href="man7/"><p>Man 7</p></a> -<a href="man8/"><p>Man 8</p></a> +<a href="1/"><p>Man 1</p></a> +<a href="2/"><p>Man 2</p></a> +<a href="3/"><p>Man 3</p></a> +<a href="4/"><p>Man 4</p></a> +<a href="5/"><p>Man 5</p></a> +<a href="6/"><p>Man 6</p></a> +<a href="7/"><p>Man 7</p></a> +<a href="8/"><p>Man 8</p></a> </body> </html> |