Fork channel

Create a new channel as a copy of main.

Rename channel

Rename main to:

Delete channel

Delete main? This cannot be undone.

default.nix
{ stdenv
, mdbook
, pdf2svg
, texlive
}:

stdenv.mkDerivation {
  pname = "pijul-manual";
  version = "draft";
  src = ./.;

  buildInputs = [ mdbook pdf2svg texlive.combined.scheme-small ];

  buildPhase = ''
    cd src
    pdflatex -shell-escape figures
    rm -f figures *.dpth *.log *.md5
    for file in $(ls *.pdf); do
       pdf2svg $file $(basename $file .pdf).svg
    done
    cd ..
    mdbook build
  '';

  installPhase = ''
    mkdir $out
    cp -R book/* $out #*/
  '';
}