(docs) include <base/> header

alexey-pelykh · Jun 22, 2024 · 5642f86 · 5642f86
1 parent 5e6ed2d
commit 5642f86
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 3 deletions.
diff --git 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
@@ -0,0 +1 @@
+<base target="_parent">