doc/: use stable cli in examples

README.md

@@ -24,9 +24,9 @@ Copypasta:
 git submodule init
 git submodule update --depth 1 nixpkgs
 export NIX_PATH=$(pwd)
-nix build --option trusted-public-keys "" -L -f src kgpe.coreboot    # kgpe-d16 AMD opteron
-nix build --option trusted-public-keys "" -L -f src am1i.coreboot    # am1-i AMD kabini
-nix build --option trusted-public-keys "" -L -f src kevin.coreboot   # Samsung chromebook rk3399 arm64
+nix-build --option trusted-public-keys "" src -A kgpe.coreboot    # kgpe-d16 AMD opteron
+nix-build --option trusted-public-keys "" src -A am1i.coreboot    # am1-i AMD kabini
+nix-build --option trusted-public-keys "" src -A kevin.coreboot   # Samsung chromebook rk3399 arm64
 ```
 
 Details: [doc/build.md](doc/build.md).

doc/build.md

@@ -14,9 +14,9 @@ Then execute one of the following three lines, depending on which
 platform you want to build for:
 
 ```
-nix build --option trusted-public-keys "" -L -f src kgpe.coreboot    # kgpe-d16 AMD opteron
-nix build --option trusted-public-keys "" -L -f src am1i.coreboot    # am1-i AMD kabini
-nix build --option trusted-public-keys "" -L -f src kevin.coreboot   # Samsung chromebook rk3399 arm64
+nix-build --option trusted-public-keys "" src -A kgpe.coreboot    # kgpe-d16 AMD opteron
+nix-build --option trusted-public-keys "" src -A am1i.coreboot    # am1-i AMD kabini
+nix-build --option trusted-public-keys "" src -A kevin.coreboot   # Samsung chromebook rk3399 arm64
 ```
 
 The `--option trusted-public-keys ""` tells nix not to trust binaries