Merge pull request #58 from pmbittner/generate-pdf

Generate pdf

Author: pmbittner

README.md

@@ -74,7 +74,7 @@ git clone --recursive https://github.com/pmbittner/AgdaCCnOC.git
 ```
 
 There are **three alternative ways** to compile the library and run its small demo.
-**Either use **Nix, Docker, or install Agda manually.**
+**Either use Nix, Docker, or install Agda manually.**
 We **recommend Nix** because it creates a sandbox environment with all dependencies satisfied while not affecting your system setup (as does Docker), as well as giving you the opportunity to adapt and reuse the library in your own Agda projects (Docker requires to rebuild an image after every change).
 If you just want to run the demo or if you are on **Windows** and don't want to install WSL2, we recommend Docker.
 
@@ -530,7 +530,7 @@ In some cases it may also be necessary to disable some kind of out-of-memory kil
 
 ### Failed to read library file ./libs/../agda-stdlib/standard-library.agda-lib.
 The following error may occur when executing `make` after a manual setup: 
-```shell
+```
 Failed to read library file ./libs/../agda-stdlib/standard-library.agda-lib.
 Reason: ./libs/../agda-stdlib/standard-library.agda-lib: openBinaryFile: does not exist (No such file or directory)
 make: *** [makefile:15: build] Error 42

nix/README.nix

@@ -0,0 +1,48 @@
+{
+  sources ? import ./sources.nix,
+  system ? builtins.currentSystem,
+  pkgs ?
+    import sources.nixpkgs {
+      overlays = [];
+      config = {};
+      inherit system;
+    },
+}:
+pkgs.runCommand "Vatras-README" {
+  nativeBuildInputs = [
+    (pkgs.ruby.withPackages (pkgs: with pkgs; [
+      github-pages
+      jekyll-theme-cayman
+    ]))
+    pkgs.htmlq
+    pkgs.python3Packages.weasyprint
+  ];
+} ''
+cat > _config.yml <<EOF
+theme: jekyll-theme-cayman
+baseurl: root
+EOF
+
+cp ${../README.md} README.md
+JEKYLL_ENV=production PAGES_REPO_NWO=user/repo JEKYLL_BUILD_REVISION= github-pages build
+
+htmlq -f _site/index.html -r '#skip-to-content' -r 'header a' -r footer > README.html
+sed -i '
+  \|<link .*href="/root/assets/css/style.css?v="| {
+    a <style type="text/css">
+    r _site/assets/css/style.css
+    a </style>
+    d
+  }
+' README.html
+
+# Don't use a temporary file, or all relative links will break.
+# https://github.com/Kozea/WeasyPrint/issues/532
+htmlq -f README.html -r 'header' -r 'main > p:first-of-type' | weasyprint -u "" -s <(echo '@page { size: A4 landscape; }') - README.pdf
+
+mkdir "$out"
+cp README.html "$out/README.html"
+cp README.pdf "$out/README.pdf"
+
+runHook postInstall
+''