Code

Harden doc/man/dune#4264

Code

Merged

rjbou merged 2 commits intoocaml:masterocaml/opam:masterfrom dra27:harden-man-dunedra27/opam:harden-man-duneCopy head branch name to clipboardJul 10, 2020

+69-11

Commits

Commits on Jul 10, 2020

• Ensure man pages build can't block on user input

  Show description for 8b0479f
  

  dra27

  authored and

  rjbou

  committed
  8b0479f

  Copy full SHA for 8b0479f

• Ensure %{bin:opam} refers to compiled executable

  Show description for aa57a1e
  

  dra27

  authored and

  rjbou

  committed
  aa57a1e

  Copy full SHA for aa57a1e