diff options
author | Ben Gamari <ben@smart-cactus.org> | 2022-06-23 18:11:00 -0400 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-07-17 22:30:32 -0400 |
commit | a10584e8df9b346cecf700b23187044742ce0b35 (patch) | |
tree | be1a327b84ee87a7f29c87a92fcc8eec8f2d20cd /distrib | |
parent | 028f081e4e748794d7a0e6359987ec799c3dc404 (diff) | |
download | haskell-a10584e8df9b346cecf700b23187044742ce0b35.tar.gz |
hadrian: Rename documentation directories for consistency with make
* Rename `docs` to `doc`
* Place pdf documentation in `doc/` instead of `doc/pdfs/`
Fixes #21164.
Diffstat (limited to 'distrib')
-rwxr-xr-x | distrib/mkDocs/mkDocs | 5 |
1 files changed, 0 insertions, 5 deletions
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 |