Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq-doc
Commits:
af5c0c2e by Julien Puydt at 2025-01-23T21:31:07+01:00
Improve the patch to compile with recent Python
- - - - -
2 changed files:
- debian/changelog
- debian/patches/fix_recent_python.patch
Changes:
=====================================
debian/changelog
=====================================
@@ -1,9 +1,9 @@
-coq-doc (8.20.0-2) UNRELEASED; urgency=medium
+coq-doc (8.20.0-2) unstable; urgency=medium
* Add patch to compile with recent Python versions
(Closes: #1093324, #1093100).
- -- Julien Puydt <[email protected]> Mon, 20 Jan 2025 12:58:56 +0100
+ -- Julien Puydt <[email protected]> Thu, 23 Jan 2025 21:31:00 +0100
coq-doc (8.20.0-1) unstable; urgency=medium
=====================================
debian/patches/fix_recent_python.patch
=====================================
@@ -34,3 +34,13 @@ Forwarded: https://github.com/coq/coq/issues/20078
# The name for this set of Sphinx documents.
# "<project> v<release> documentation" by default.
+--- coq-doc.orig/doc/sphinx/dune
++++ coq-doc/doc/sphinx/dune
+@@ -4,7 +4,3 @@
+ (targets README.gen.rst)
+ (deps (source_tree ../tools/coqrst) README.template.rst)
+ (action (run ../tools/coqrst/regen_readme.py %{targets})))
+-
+-(rule
+- (alias refman-html)
+- (action (diff README.rst README.gen.rst)))
View it on GitLab:
https://salsa.debian.org/ocaml-team/coq-doc/-/commit/af5c0c2e127043b48413d5ee6015e562ba4cd529
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/coq-doc/-/commit/af5c0c2e127043b48413d5ee6015e562ba4cd529
You're receiving this email because of your account on salsa.debian.org.
