From bd3efacb82c721edad1ce9eda583df5fb62ab00a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Na=C3=AFm=20Favier?= <n@monade.li>
Date: Tue, 17 Jan 2023 10:35:01 +0100
Subject: [PATCH] docs: mention how to override the home-manager flake input
 (#3556)

---
 docs/contributing.adoc | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/docs/contributing.adoc b/docs/contributing.adoc
index 82a07a9a8..7ab952893 100644
--- a/docs/contributing.adoc
+++ b/docs/contributing.adoc
@@ -28,6 +28,11 @@ Assuming your clone is at `$HOME/devel/home-manager` then you can make the `home
 [source,console]
 $ home-manager -I home-manager=$HOME/devel/home-manager
 +
+or, if using <<sec-flakes-standalone,flakes>>:
++
+[source,console]
+$ home-manager --override-input home-manager ~/devel/home-manager
++
 or
 
 2. changing the default path by ensuring your configuration includes