diff --git a/.github/actions/doc_postproc.awk b/.github/actions/doc_postproc.awk index c0244ce8..19f34bc3 100755 --- a/.github/actions/doc_postproc.awk +++ b/.github/actions/doc_postproc.awk @@ -7,6 +7,14 @@ sub(/b><\/td/, "th"); } +# The whole page is being generated, so it's not meant to contain any Liquid +BEGIN { + print "{% raw %}" +} +END { + print "{% endraw %}" +} + BEGIN { in_synopsis = 0 } diff --git a/.github/actions/get-pages.sh b/.github/actions/get-pages.sh index 209c1598..8e4ac714 100755 --- a/.github/actions/get-pages.sh +++ b/.github/actions/get-pages.sh @@ -64,7 +64,7 @@ stem="${page%.html}" manpage="${stem%.?}(${stem#*.})" descr="$(awk -v 'FS=.Nd ' '/.Nd/ { print $2; }' "${PAGES[$page]}")" - cat - >"$1/$2/$page" <"$1/$2/$page" <