From 5b35ca58d94d07751ef2f810686f588ce9c0878a Mon Sep 17 00:00:00 2001
From: Matthew Pickering <matthewtpickering@gmail.com>
Date: Thu, 3 Mar 2022 13:52:03 +0000
Subject: Fix gen_contents_index logic for hadrian bindist
---
hadrian/src/Rules/BinaryDist.hs | 3 +++
1 file changed, 3 insertions(+)
(limited to 'hadrian/src/Rules/BinaryDist.hs')
diff --git a/hadrian/src/Rules/BinaryDist.hs b/hadrian/src/Rules/BinaryDist.hs
index a6693a75f3..f07c455e38 100644
--- a/hadrian/src/Rules/BinaryDist.hs
+++ b/hadrian/src/Rules/BinaryDist.hs
@@ -227,6 +227,9 @@ bindistRules = do
-- included in the bindist in the past (part of the problem in #18669).
whenM (liftIO (IO.doesDirectoryExist (root -/- "docs"))) $ do
copyDirectory (root -/- "docs") bindistFilesDir
+ copyFile ("libraries" -/- "prologue.txt") (bindistFilesDir -/- "docs-utils" -/- "prologue.txt")
+ copyFile ("libraries" -/- "gen_contents_index") (bindistFilesDir -/- "docs-utils" -/- "gen_contents_index" )
+
when windowsHost $ do
copyDirectory (root -/- "mingw") bindistFilesDir
-- we use that opportunity to delete the .stamp file that we use
--
cgit v1.2.1