diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2022-03-03 13:52:03 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-03-07 14:06:16 -0500 |
| commit | 5b35ca58d94d07751ef2f810686f588ce9c0878a (patch) | |
| tree | a9445b8802aed1cd46548cae5d3d33176dccd5fe /distrib | |
| parent | 7bfae2ee0e9548f489c52c0e3f4688a9ae83b12b (diff) | |
| download | haskell-5b35ca58d94d07751ef2f810686f588ce9c0878a.tar.gz | |
Fix gen_contents_index logic for hadrian bindist
Diffstat (limited to 'distrib')
| -rwxr-xr-x | distrib/mkDocs/mkDocs | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/distrib/mkDocs/mkDocs b/distrib/mkDocs/mkDocs index 641d945cfa..b11c9dde78 100755 --- a/distrib/mkDocs/mkDocs +++ b/distrib/mkDocs/mkDocs @@ -40,13 +40,18 @@ mv ../../../../../../windows/doc/html/libraries/Win32-* . || \ sh gen_contents_index cd .. -for i in haddock libraries users_guide +for i in */ do - tar -Jcf ../../../../../$i.html.tar.xz $i + dir=${i%*/} + tar -Jcf ../../../../../$dir.html.tar.xz $dir done mv index.html ../../../../.. cd .. -mv ./*.pdf ../../../.. +# make +mv ./*.pdf ../../../.. || \ +# hadrian + mv ./pdfs/*.pdf ../../../.. || \ + die "failed to find PDFs" cd ../../../.. [ "$NO_CLEAN" -eq 0 ] && rm -r inst [ "$NO_CLEAN" -eq 0 ] && rm -r windows |