Build PDF on Actions, convert to EPUB and MOBI and expose as artifacts

.github/workflows/build.yml

@@ -24,7 +24,11 @@ jobs:
         uses: actions/checkout@v2
 
       - name: Install pandoc
-        run: brew install pandoc
+        run: sudo apt-get -y install pandoc
+
+      - name: Install LaTeX dependencies
+        if: runner.os == 'Linux'
+        run: sudo apt-get update && sudo apt-get -y install texlive-xetex texlive-science texlive-fonts-extra
 
       - name: Use OCaml ${{ matrix.ocaml-compiler }}
         uses: ocaml/setup-ocaml@v2
@@ -36,11 +40,37 @@ jobs:
         run: opam install dune>=3.4.1
 
       - name: Build HTML book
-        run: opam exec -- dune build @site
+        run: opam exec -- dune build
 
       - name: Deploy site
         uses: peaceiris/actions-gh-pages@v3
         if: github.ref == 'refs/heads/master' && runner.os == 'Linux'
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: ./_build/default/static
+
+      - name: Upload artifacts (html, pdf, md, tex)
+        if: runner.os == 'Linux'
+        uses: actions/upload-artifact@v2
+        with:
+          name: static
+          path: ./_build/default/static
+
+      - name: Upload PDF artifact
+        if: runner.os == 'Linux'
+        uses: actions/upload-artifact@v2
+        with:
+          name: book.pdf
+          path: ./_build/default/static/book.pdf
+
+      - name: Convert to EPUB
+        if: runner.os == 'Linux'
+        working-directory: ./_build/default/static
+        run: pandoc --top-level-division=part --filter=../bin/pandoc-rwo/pandoc_rwo_epub.exe --metadata-file=../book/book.yml --listings -o book.epub -t epub -s book.md
+
+      - name: Upload EPUB artifact
+        if: runner.os == 'Linux'
+        uses: actions/upload-artifact@v2
+        with:
+          name: book.epub
+          path: ./_build/default/static/book.epub

bin/pandoc-rwo/dune

@@ -1,5 +1,16 @@
+(library
+ (name pandoc)
+ (modules pandoc)
+ (libraries yojson))
+
 (executable
-  (public_name pandoc-rwo)
-  (name pandoc_rwo)
-  (libraries yojson)
-)
+ (public_name pandoc-rwo)
+ (name pandoc_rwo)
+ (modules pandoc_rwo)
+ (libraries yojson pandoc))
+
+(executable
+ (public_name pandoc-rwo-epub)
+ (name pandoc_rwo_epub)
+ (modules pandoc_rwo_epub)
+ (libraries yojson pandoc))

bin/pandoc-rwo/pandoc_rwo_epub.ml

@@ -0,0 +1,17 @@
+(* Rewrite cross-references, untouch notes *)
+let () =
+  let j = Yojson.Basic.from_channel stdin in
+  let p = Pandoc.of_json j in
+  let inline = function
+    (* handle xrefs like [Foo](bar.html#label){data-type="xref"} *)
+    | Pandoc.Link ((i,c,attr),body,(url,title)) as l -> begin
+      List.assoc_opt "data-type" attr |> function
+      | Some "xref" -> (* this is a cross-reference *)
+          let url = Scanf.sscanf url "%s@#%s" (fun _ t -> t) in
+          Some [Pandoc.Link ((i,c,attr),body,("#" ^ url,title))]
+      | Some _ | None -> Some [l]
+    end
+    | n -> Some [n] in
+  let p = Pandoc.map ~inline p in
+  let s = Yojson.Basic.pretty_to_string (Pandoc.to_json p) in
+  print_endline s