From c4b916231ffed3e6f77f51d8cbd85d8e537964cf Mon Sep 17 00:00:00 2001
From: ncfavier
Date: Sun, 5 Feb 2023 10:14:56 +0000
Subject: [PATCH] deploy: 6d2ba4654d6fc7f7eac504938316889058b1fe0a
---
tools.html | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/tools.html b/tools.html
index 50d1fd21b..23a656745 100644
--- a/tools.html
+++ b/tools.html
@@ -84,6 +84,8 @@
--(no-)substitute
] [
--no-out-link
+ ] [
+ --refresh
] [
{
-v
@@ -273,6 +275,10 @@
Passed on to nix-build(1)
when running home-manager build.
+ --refresh
+
+ Passed on to nix-build(1)
+
-v
,
--verbose