From e033dd0512443140dcca5b3c90b84022d8caf942 Mon Sep 17 00:00:00 2001 From: Adam Sandberg Ericsson Date: Fri, 11 Dec 2020 17:08:13 +0000 Subject: mkDocs: support hadrian bindists #18973 --- distrib/mkDocs/mkDocs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'distrib') diff --git a/distrib/mkDocs/mkDocs b/distrib/mkDocs/mkDocs index d185b43e61..3cbfec5695 100755 --- a/distrib/mkDocs/mkDocs +++ b/distrib/mkDocs/mkDocs @@ -31,7 +31,9 @@ cd .. tar -Jxf "$WINDOWS_BINDIST" mv ghc* windows cd inst/share/doc/ghc*/html/libraries -mv ../../../../../../windows/doc/html/libraries/Win32-* . +mv ../../../../../../windows/doc/html/libraries/Win32-* . || \ # make binary distribution + mv ../../../../../../windows/docs/html/libraries/Win32 . || \ # hadrian binary distribution + die "failed to find the Win32 package documentation" sh gen_contents_index cd .. for i in haddock libraries users_guide -- cgit v1.2.1