[Git][ghc/ghc][wip/24093] fetch_gitlab: Ensure we copy users_guide.pdf and Haddock.pdf to the release docs directory

Zubin pushed to branch wip/24093 at Glasgow Haskell Compiler / GHC Commits: 48cf32db by Zubin Duggal at 2025-07-02T18:25:57+05:30 fetch_gitlab: Ensure we copy users_guide.pdf and Haddock.pdf to the release docs directory Fixes #24093 - - - - - 1 changed file: - .gitlab/rel_eng/fetch-gitlab-artifacts/fetch_gitlab.py Changes: ===================================== .gitlab/rel_eng/fetch-gitlab-artifacts/fetch_gitlab.py ===================================== @@ -134,6 +134,9 @@ def fetch_artifacts(release: str, pipeline_id: int, logging.info(f'extracted docs {f} to {dest}') index_path = destdir / 'docs' / 'index.html' index_path.replace(dest / 'index.html') + pdfs = list(destdir.glob('*.pdf')) + for f in pdfs: + f.replace(dest / f.name) elif job.name == 'hackage-doc-tarball': dest = dest_dir / 'hackage_docs' logging.info(f'moved hackage_docs to {dest}') View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/48cf32dbd2cf52e1db7ee68bc79a5511... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/48cf32dbd2cf52e1db7ee68bc79a5511... You're receiving this email because of your account on gitlab.haskell.org.
participants (1)
-
Zubin (@wz1000)