Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / coq-doc
Commits: 93ac405d by Stephane Glondu at 2024-06-18T10:21:30+02:00 Call "dune build" with --release - - - - - 87c1792d by Stephane Glondu at 2024-06-18T10:21:40+02:00 Update changelog - - - - - 2 changed files: - debian/changelog - debian/rules Changes: ===================================== debian/changelog ===================================== @@ -1,3 +1,9 @@ +coq-doc (8.19.1-2) UNRELEASED; urgency=medium + + * Call "dune build" with --release + + -- Stéphane Glondu <[email protected]> Tue, 18 Jun 2024 10:21:35 +0200 + coq-doc (8.19.1-1) unstable; urgency=medium * New upstream release. ===================================== debian/rules ===================================== @@ -7,7 +7,7 @@ override_dh_auto_configure: override_dh_auto_build: $(MAKE) dunestrap - SPHINXWARNOPT=-q dune build @refman-html @refman-pdf --display=verbose + SPHINXWARNOPT=-q dune build --release @refman-html @refman-pdf --display=verbose find _build/ -type f -name "*.html" | \ xargs sed -i -e "s|https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js|file:///usr/share/nodejs/mathjax-full/es5/tex-mml-chtml.js|g" View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/compare/b0839a6a33092bde242432c4812fa28c621999c5...87c1792daf10992b91022dbe44e6b96c797a7a02 -- This project does not include diff previews in email notifications. View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/compare/b0839a6a33092bde242432c4812fa28c621999c5...87c1792daf10992b91022dbe44e6b96c797a7a02 You're receiving this email because of your account on salsa.debian.org.
