[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

[Git][ocaml-team/coq-doc][master] 2 commits: Call "dune build" with --release

Title: GitLab

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:

Changes:

  • debian/changelog
    1 
    +coq-doc (8.19.1-2) UNRELEASED; urgency=medium
    2 
    +
    3 
    +  * Call "dune build" with --release
    4 
    +
    5 
    + -- Stéphane Glondu <glondu@debian.org>  Tue, 18 Jun 2024 10:21:35 +0200
    6 
    +
    1 7 
     coq-doc (8.19.1-1) unstable; urgency=medium
    2 8
    3 9 
       * New upstream release.

  • debian/rules
    ... ... @@ -7,7 +7,7 @@ override_dh_auto_configure:
    7 7
    8 8 
     override_dh_auto_build:
    9 9 
     	$(MAKE) dunestrap
    10 
    -	SPHINXWARNOPT=-q dune build @refman-html @refman-pdf --display=verbose
    10 
    +	SPHINXWARNOPT=-q dune build --release @refman-html @refman-pdf --display=verbose
    11 11 
     	find _build/ -type f -name "*.html" | \
    12 12 
     		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"
    13 13

    • —
    View it on GitLab.
    You're receiving this email because of your account on salsa.debian.org. Manage all notifications · Help

    Reply to: