From 5642f865c6bc3f8f1b89a29422b943db8c6ef251 Mon Sep 17 00:00:00 2001 From: Oleksii PELYKH Date: Sat, 22 Jun 2024 21:32:18 +0200 Subject: [PATCH] (docs) include header --- .github/workflows/ci.yaml | 9 ++++++--- gh-pages/header.html | 1 + 2 files changed, 7 insertions(+), 3 deletions(-) create mode 100644 gh-pages/header.html diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index f0604c7..b1bdae7 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -102,13 +102,16 @@ jobs: sudo apt-get install -y pandoc mkdir -p build/gh-pages - pandoc -f gfm -t html5 -s --shift-heading-level-by=-1 --lua-filter=gh-pages/filter.lua \ + pandoc \ + -f gfm -t html5 -s --shift-heading-level-by=-1 --lua-filter=gh-pages/filter.lua -H gh-pages/header.html \ -o build/gh-pages/index.html README.md - pandoc -f gfm -t html5 -s --shift-heading-level-by=-1 --lua-filter=gh-pages/filter.lua \ + pandoc \ + -f gfm -t html5 -s --shift-heading-level-by=-1 --lua-filter=gh-pages/filter.lua -H gh-pages/header.html \ -o build/gh-pages/pcre2-api.html PCRE2_API.md mkdir -p build/gh-pages/javadoc - pandoc -f markdown -t html5 -s --shift-heading-level-by=-1 --lua-filter=gh-pages/filter.lua \ + pandoc \ + -f gfm -t html5 -s --shift-heading-level-by=-1 --lua-filter=gh-pages/filter.lua -H gh-pages/header.html \ -o build/gh-pages/javadoc/index.html gh-pages/javadoc/index.md cp -a api/build/docs/javadoc/. build/gh-pages/javadoc/api cp -a lib/build/docs/javadoc/. build/gh-pages/javadoc/lib diff --git a/gh-pages/header.html b/gh-pages/header.html new file mode 100644 index 0000000..114711b --- /dev/null +++ b/gh-pages/header.html @@ -0,0 +1 @@ +