diff options
author | Rob Cowsill <42620235+rcowsill@users.noreply.github.com> | 2021-04-29 21:44:19 +0100 |
---|---|---|
committer | Rob Cowsill <42620235+rcowsill@users.noreply.github.com> | 2021-04-29 22:18:13 +0100 |
commit | b4bbc5210b5676ca76c78dfc14bbae14b201e948 (patch) | |
tree | 12212db588019bffaa70eda4c58a13bf9ab3387a /docs/remote-docs.sh | |
parent | 98a84ff34e2f93d50ef4fb41ae127a07bcf5bf42 (diff) | |
download | podman-b4bbc5210b5676ca76c78dfc14bbae14b201e948.tar.gz podman-b4bbc5210b5676ca76c78dfc14bbae14b201e948.tar.bz2 podman-b4bbc5210b5676ca76c78dfc14bbae14b201e948.zip |
[CI:DOCS] Add titles to remote docs (windows)
Previously the podman-remote windows docs had no HTML titles
This gives them the same titles as the equivalent Sphinx HTML pages
Signed-off-by: Rob Cowsill <42620235+rcowsill@users.noreply.github.com>
Diffstat (limited to 'docs/remote-docs.sh')
-rwxr-xr-x | docs/remote-docs.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/docs/remote-docs.sh b/docs/remote-docs.sh index 939c7264c..b1682e9cd 100755 --- a/docs/remote-docs.sh +++ b/docs/remote-docs.sh @@ -80,7 +80,10 @@ function html_fn() { local link=$(sed -e 's?.so man1/\(.*\)?\1?' <$dir/links/${file%.md}) markdown=$dir/$link.md fi - pandoc --ascii --lua-filter=docs/links-to-html.lua -o $TARGET/${file%%.*}.html $markdown + pandoc --ascii --standalone \ + --lua-filter=docs/links-to-html.lua \ + --lua-filter=docs/use-pagetitle.lua \ + -o $TARGET/${file%%.*}.html $markdown } # Run 'podman help' (possibly against a subcommand, e.g. 'podman help image') |