diff options
| -rwxr-xr-x | aux/ci/report.sh | 6 | ||||
| -rwxr-xr-x | doc/manpages.sh | 10 |
2 files changed, 15 insertions, 1 deletions
diff --git a/aux/ci/report.sh b/aux/ci/report.sh index 6f18f0f..a812d86 100755 --- a/aux/ci/report.sh +++ b/aux/ci/report.sh @@ -55,6 +55,12 @@ cat <<EOF >> "$OUT" <link rel="icon" type="image/svg+xml" href="favicon.svg" /> <title>$PROJECT - CI logs</title> +EOF + +cat aux/workflow/style.css >> "$OUT" + +cat <<EOF >> "$OUT" + <style> pre { display: inline; diff --git a/doc/manpages.sh b/doc/manpages.sh index 5c83a37..0e01513 100755 --- a/doc/manpages.sh +++ b/doc/manpages.sh @@ -42,7 +42,15 @@ for f in "$@"; do assert_arg "${OUTDIR:-}" '-o OUTDIR' to_name="$(basename "${f%.$l.$n}.$n.html")" mkdir -p "$OUTDIR/$l" - pandoc -s -r man -w html --metadata "lang=$l" \ + pandoc \ + --toc \ + --toc-depth=2 \ + -s \ + -r man \ + -w html \ + -H aux/workflow/favicon.html \ + -H aux/workflow/style.css \ + --metadata "lang=$l" \ < "$f" > "$OUTDIR/$l/$to_name" ;; install) |