Diffusion Development environment 92e599d92bd9

Makefile: only try to run docs/% targets if the Makefile exists
92e599d92bd9
Actions

Tags

None

Subscribers

None

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

Makefile: only try to run docs/% targets if the Makefile exists

Details

Provenance

olasd	Authored on May 4 2022, 3:05 PM
olasd	Pushed on May 4 2022, 3:15 PM

Differential Revision

D7738: Makefile: only try to run docs/% targets if the Makefile exists

Event Timeline

olasd committed rDENV92e599d92bd9: Makefile: only try to run docs/% targets if the Makefile exists (authored by olasd).May 4 2022, 3:05 PM

olasd added an edge: D7738: Makefile: only try to run docs/% targets if the Makefile exists.May 4 2022, 3:15 PM

Commit No Longer Exists

This commit no longer exists in the repository.