diff options
-rw-r--r-- | Documentation/default.nix | 2 | ||||
-rwxr-xr-x | Documentation/scripts/build.sh | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/Documentation/default.nix b/Documentation/default.nix index 9edfbe8..564a476 100644 --- a/Documentation/default.nix +++ b/Documentation/default.nix @@ -20,7 +20,7 @@ stdenvNoCC.mkDerivation { buildPhase = '' runHook preBuild - scripts/build.sh $out + scripts/build.sh -d $out runHook postBuild ''; diff --git a/Documentation/scripts/build.sh b/Documentation/scripts/build.sh index e6a2cd8..5c132e3 100755 --- a/Documentation/scripts/build.sh +++ b/Documentation/scripts/build.sh @@ -5,10 +5,10 @@ cd "$(dirname "$0")/.." if [ ! -w . ] && [ ! -w .jekyll-cache ]; then - JEKYLLFLAGS=--disable-disk-cache + set -- --disable-disk-cache "$@" fi find . '(' '!' -path ./_site -o -prune ')' \ -a -name '*.drawio' \ -exec drawio -xf svg '{}' ';' -jekyll build $JEKYLLFLAGS -b /doc -d "${1:-_site}" +jekyll build -b /doc "$@" |