From 03ca5a47c10b16996c5249493835ebfe99624a87 Mon Sep 17 00:00:00 2001 From: pennae Date: Mon, 26 Jun 2023 21:13:11 +0200 Subject: [PATCH] nixos-render-docs: add missing head tag to html output --- .../nix/nixos-render-docs/src/nixos_render_docs/manual.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pkgs/tools/nix/nixos-render-docs/src/nixos_render_docs/manual.py b/pkgs/tools/nix/nixos-render-docs/src/nixos_render_docs/manual.py index 2c80d1eaab86..d14b4f5d29bf 100644 --- a/pkgs/tools/nix/nixos-render-docs/src/nixos_render_docs/manual.py +++ b/pkgs/tools/nix/nixos-render-docs/src/nixos_render_docs/manual.py @@ -304,7 +304,8 @@ class ManualHTMLRenderer(RendererMixin, HTMLRenderer): '', '', - ' ', + ' ', + ' ', f' {toc.target.title}', "".join((f'' for style in self._html_params.stylesheets)),