From d0ed679646593a04f8371fc6af0cee9a94762e48 Mon Sep 17 00:00:00 2001 From: Robert Hensing Date: Sat, 28 May 2022 12:44:17 +0200 Subject: [PATCH 1/3] options.html: Highlighting and max-width --- site/flake-module.nix | 22 +++++++++++++++++++++- 1 file changed, 21 insertions(+), 1 deletion(-) diff --git a/site/flake-module.nix b/site/flake-module.nix index 6cf4d8c..06b6710 100644 --- a/site/flake-module.nix +++ b/site/flake-module.nix @@ -61,8 +61,28 @@ baseUrl = "https://github.com/hercules-ci/flake-parts/blob/main"; sourcePath = ../.; }; + # pandoc + htmlBefore = '' + + + Options + + + + ''; + htmlAfter = '' + + + ''; buildPhase = '' - pandoc --verbose --from docbook --to html5 $coreOptions >options.html + (echo "$htmlBefore"; pandoc --verbose --from docbook --to html5 $coreOptions; echo "$htmlAfter"; ) >options.html ''; installPhase = '' mkdir -p $out From 0ea9e72c78f864bf5378eafbe2799ae8867577a8 Mon Sep 17 00:00:00 2001 From: Robert Hensing Date: Sat, 28 May 2022 12:44:33 +0200 Subject: [PATCH 2/3] options.html: Self-linking headers --- site/options.xsl | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/site/options.xsl b/site/options.xsl index 70f725d..c1920d6 100644 --- a/site/options.xsl +++ b/site/options.xsl @@ -19,11 +19,8 @@
- - - - <xsl:copy-of select="db:term/db:option"/> + <link xlink:href="#{db:term/@xml:id}" xml:id="{db:term/@xml:id}"><xsl:copy-of select="db:term/db:option"/></link>
From c2aa066381d8637465a41920c4e1ed450f26cd9d Mon Sep 17 00:00:00 2001 From: Robert Hensing Date: Sat, 28 May 2022 12:48:07 +0200 Subject: [PATCH 3/3] Run basic deploy previews --- dev/flake-module.nix | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/dev/flake-module.nix b/dev/flake-module.nix index d4a8237..435bbab 100644 --- a/dev/flake-module.nix +++ b/dev/flake-module.nix @@ -40,12 +40,12 @@ effects = inputs.hercules-ci-effects.lib.withPkgs pkgs; in { - netlifyDeploy = effects.runIf (branch == "main") (effects.netlifyDeploy { + netlifyDeploy = effects.netlifyDeploy { content = config.flake.packages.x86_64-linux.siteContent; secretName = "default-netlify"; siteId = "29a153b1-3698-433c-bc73-62415efb8117"; - productionDeployment = true; - }); + productionDeployment = branch == "main"; + }; }; }; };