Temporary upload website to intl with m-labs.hk

Signed-off-by: Egor Savkin <es@m-labs.hk>

gluelogic/fpgatools.nix

@@ -1,4 +1,4 @@
-{ pkgs, isePath ? "/opt/Xilinx/14.7/ISE_DS", vivadoPath ? "/opt/Xilinx/Vivado/2021.2" }:
+{ pkgs, isePath ? "/opt/Xilinx/14.7/ISE_DS", vivadoPath ? "/opt/Xilinx/Vivado/2022.2" }:
 rec {
   ise = let
     makeXilinxEnv = name: pkgs.buildFHSUserEnv {

web.nix

@@ -8,7 +8,7 @@ in
     web-intl = pkgs.runCommand "web-intl" {}
       ''
       cd ${web-src}
-      DOMAINNAME=m-labs-intl.com ${pkgs.zola}/bin/zola build -o $out
+      DOMAINNAME=m-labs.hk ${pkgs.zola}/bin/zola build -o $out
       '';
     sphinxcontrib-platformpicker = pkgs.python3Packages.buildPythonPackage rec {
       pname = "sphinxcontrib-platformpicker";