diff options
| author | Lucas de Castro Borges <lucas@gnuabordo.com.br> | 2024-12-05 16:21:58 -0300 |
|---|---|---|
| committer | Lucas de Castro Borges <lucas@gnuabordo.com.br> | 2024-12-06 12:08:06 -0300 |
| commit | be24e4be4d3342993e053eedb9715dd46ee8340c (patch) | |
| tree | e39f5975e3d9c6c020b7552708d0848852b29bb4 /Makefile | |
| parent | e90788c9b8d75b972543a3c93250612703979849 (diff) | |
Build the doc only if doc depends is installed
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions