19 Apr
2023
19 Apr
'23
1:07 p.m.
Attention is currently required from: Edward O'Callaghan, Alexander Goncharov.
Thomas Heijligen has posted comments on this change. ( https://review.coreboot.org/c/flashrom/+/74510 )
Change subject: Makefile: do not generate man page when building sources ......................................................................
Patch Set 1:
(1 comment)
Patchset:
PS1: I've put CB:74519 up, which builds the man-page if sphinx is available. There should be no build/generation tasks executed in the install target.
--
To view, visit https://review.coreboot.org/c/flashrom/+/74510
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings
Gerrit-Project: flashrom
Gerrit-Branch: master
Gerrit-Change-Id: I9882445de2a0996f237470a73b6a1eb7eafce808
Gerrit-Change-Number: 74510
Gerrit-PatchSet: 1
Gerrit-Owner: Alexander Goncharov chat@joursoir.net
Gerrit-Reviewer: Anastasia Klimchuk aklm@chromium.org
Gerrit-Reviewer: Edward O'Callaghan quasisec@chromium.org
Gerrit-Reviewer: Thomas Heijligen src@posteo.de
Gerrit-Reviewer: build bot (Jenkins) no-reply@coreboot.org
Gerrit-Attention: Edward O'Callaghan quasisec@chromium.org
Gerrit-Attention: Alexander Goncharov chat@joursoir.net
Gerrit-Comment-Date: Wed, 19 Apr 2023 13:07:57 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: No
Gerrit-MessageType: comment