make -C docs html adds a new file
Details
Details
Diff Detail
Diff Detail
- Repository
- rDCORE Foundations and core functionalities
- Lint
Automatic diff as part of commit; lint not applicable. - Unit
Automatic diff as part of commit; unit tests not applicable.
Event Timeline
Comment Actions
Build is green
Patch application report for D3028 (id=10757)
Rebasing onto b7ec05dbe0...
Current branch diff-target is up to date.
Changes applied before test
commit dca9c5fc666d5f7039feda1de0357b23938af340 Author: Nicolas Dandrimont <nicolas@dandrimont.eu> Date: Fri Apr 17 17:14:38 2020 +0200 Add documentation for command-line tools
See https://jenkins.softwareheritage.org/job/DCORE/job/tests-on-diff/4/ for more details.