From a10584e8df9b346cecf700b23187044742ce0b35 Mon Sep 17 00:00:00 2001
From: Ben Gamari <ben@smart-cactus.org>
Date: Thu, 23 Jun 2022 18:11:00 -0400
Subject: hadrian: Rename documentation directories for consistency with make

* Rename `docs` to `doc`
* Place pdf documentation in `doc/` instead of `doc/pdfs/`

Fixes #21164.
---
 distrib/mkDocs/mkDocs | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'distrib')

diff --git a/distrib/mkDocs/mkDocs b/distrib/mkDocs/mkDocs
index 5ac4533056..b90823bd83 100755
--- a/distrib/mkDocs/mkDocs
+++ b/distrib/mkDocs/mkDocs
@@ -33,9 +33,7 @@ tar -Jxf "$WINDOWS_BINDIST"
 mv ghc* windows
 cd inst/share/doc/ghc*/html/libraries
 
-# try extracting the make bindist docs and then the hadrian bindist docs
 mv ../../../../../../windows/doc/html/libraries/Win32-* . || \
-    mv ../../../../../../windows/docs/html/libraries/Win32-* . || \
     die "failed to find the Win32 package documentation"
 
 sh gen_contents_index
@@ -47,10 +45,7 @@ do
 done
 mv index.html ../../../../..
 cd ..
-# make
 mv ./*.pdf ../../../.. || \
-# hadrian
-  mv ./pdfs/*.pdf ../../../.. || \
     die "failed to find PDFs"
 cd ../../../..
 [ "$NO_CLEAN" -eq 0 ] && rm -r inst
-- 
cgit v1.2.1