From 69e564595590096491ecc5368a831c24a01d97a8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?kleines=20Filmr=C3=B6llchen?= Date: Mon, 2 Jan 2023 16:18:40 +0100 Subject: [PATCH] Meta: Remove duplicate manpage section generation for the website --- Meta/build-manpages-website.sh | 20 -------------------- 1 file changed, 20 deletions(-) diff --git a/Meta/build-manpages-website.sh b/Meta/build-manpages-website.sh index 5800349610..97cc63c8bc 100755 --- a/Meta/build-manpages-website.sh +++ b/Meta/build-manpages-website.sh @@ -40,26 +40,6 @@ for md_file in "${MAN_DIR}"*/*.md; do "${md_file}" done -# Generate man page listings through pandoc -for d in output/*/; do - section=$(basename "$d") - section_number="${section#man}" - pandoc -f gfm -t html5 -s \ - -B Meta/Websites/man.serenityos.org/banner-preamble.inc \ - --metadata title="Section ${section_number} - SerenityOS man pages" \ - -o "output/${section}/index.html" \ - <( - for f in "$d"/*; do - filename=$(basename "$f") - name="${filename%.html}" - if [[ "$filename" == "index.html" ]]; then - continue - fi - echo "- [${name}](${filename})" - done - ) -done - # Generate man page listings through pandoc for d in output/*/; do section=$(basename "$d")