summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xdistrib/mkDocs/mkDocs11
-rw-r--r--hadrian/bindist/Makefile3
-rw-r--r--hadrian/src/Rules/BinaryDist.hs3
-rw-r--r--libraries/gen_contents_index13
4 files changed, 26 insertions, 4 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
diff --git a/hadrian/bindist/Makefile b/hadrian/bindist/Makefile
index 3ae599452f..fdeb06ace5 100644
--- a/hadrian/bindist/Makefile
+++ b/hadrian/bindist/Makefile
@@ -190,6 +190,9 @@ install_docs:
cp -R $$i "$(docdir)/"; \
done
+ $(INSTALL_DATA) docs-utils/prologue.txt "$(docdir)/html/libraries/"
+ $(INSTALL_SCRIPT) docs-utils/gen_contents_index "$(docdir)/html/libraries/"
+
BINARY_NAMES=$(shell ls ./wrappers/)
install_wrappers: install_bin_libdir
@echo "Installing wrapper scripts"
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
diff --git a/libraries/gen_contents_index b/libraries/gen_contents_index
index 29be2e13f9..1efd5eb157 100644
--- a/libraries/gen_contents_index
+++ b/libraries/gen_contents_index
@@ -32,7 +32,18 @@ then
[ -d dist-haddock ] || mkdir dist-haddock
cd dist-haddock
- HADDOCK=../../inplace/bin/haddock
+ if [ -e ../../inplace/bin/haddock ]
+ then
+ # Make #17527
+ HADDOCK=../../inplace/bin/haddock
+ elif [ -e ../../../../../bin/haddock ]
+ then
+ # Hadrian
+ HADDOCK=../../../../../bin/haddock
+ else
+ echo "Haddock not found"
+ exit 1
+ fi
# Exclude Cabal package-tests, which may run haddock
HADDOCK_FILES=`find ../ -name *.haddock | grep -v 'PackageTests' | sort`
HADDOCK_ARGS="-p ../prologue.txt"