From 92be107c8eb324460a040e104be1f790cf0b57fd Mon Sep 17 00:00:00 2001
From: Valentin Gagarin <valentin.gagarin@tweag.io>
Date: Fri, 6 Sep 2024 10:33:12 +0200
Subject: [PATCH] update instructions to build the manual

---
 doc/manual/src/development/documentation.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/manual/src/development/documentation.md b/doc/manual/src/development/documentation.md
index 63f574ab7..d5a95e0c1 100644
--- a/doc/manual/src/development/documentation.md
+++ b/doc/manual/src/development/documentation.md
@@ -13,13 +13,13 @@ Incremental refactorings of the documentation build setup to make it faster or e
 Build the manual from scratch:
 
 ```console
-nix-build $(nix-instantiate)'!doc'
+nix-build -E '(import ./.).packages.${builtins.currentSystem}.nix.doc'
 ```
 
 or
 
 ```console
-nix build .#^doc
+nix build .#nix^doc
 ```
 
 and open `./result-doc/share/doc/nix/manual/index.html`.