diff --git a/docs/home-manager-manual.nix b/docs/home-manager-manual.nix
index 34196d423..23b2d1e65 100644
--- a/docs/home-manager-manual.nix
+++ b/docs/home-manager-manual.nix
@@ -32,6 +32,8 @@ in stdenv.mkDerivation {
OPTIONS_JSON \
${home-manager-options.nix-darwin}/share/doc/nixos/options.json
+ cp ${./options.html} out/options.html
+
cp ${./static/style.css} out/style.css
cp -r ${./release-notes} release-notes
diff --git a/docs/options.html b/docs/options.html
new file mode 100644
index 000000000..66c803fc9
--- /dev/null
+++ b/docs/options.html
@@ -0,0 +1,15 @@
+
+
+
+ Redirecting…
+
+
+
+
+
+ Redirecting…
+
+
+