From 5d81cb6ac772e9ef5cb285f51dfbfd13b19af854 Mon Sep 17 00:00:00 2001
From: Robert Helgesson <robert@rycee.net>
Date: Thu, 21 Mar 2019 00:39:54 +0100
Subject: [PATCH] manual: use writeShellScriptBin

---
 modules/manual.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/modules/manual.nix b/modules/manual.nix
index 5e60b98fa..d597d002d 100644
--- a/modules/manual.nix
+++ b/modules/manual.nix
@@ -36,7 +36,7 @@ let
 
   manualHtmlRoot = "${homeManagerManual.manual}/share/doc/home-manager/index.html";
 
-  helpScript = pkgs.writeScriptBin "home-manager-help" ''
+  helpScript = pkgs.writeShellScriptBin "home-manager-help" ''
     #!${pkgs.bash}/bin/bash -e
 
     if [ -z "$BROWSER" ]; then