Skip to content
Permalink
Browse files

more fixes

  • Loading branch information...
shmish111 committed Sep 11, 2019
1 parent 55ca3d6 commit f87b58eb4376b99a15c6733f9bc840943e1c2b20
Showing with 3 additions and 1 deletion.
  1. +3 −1 deployment/nixops/server.nix
@@ -104,7 +104,9 @@
'';
};
"/tutorial/" = {
root = "${plutus.plutus-playground.documentation-site}/";
root = if serviceName == "plutus-playground"
then "${plutus.plutus-playground.documentation-site}/"
else "${plutus.marlowe-playground.documentation-site}/";
};
"/haddock/" = {
root = "${plutus.plutus-playground.documentation-site}/";

0 comments on commit f87b58e

Please sign in to comment.
You can’t perform that action at this time.