diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2021-04-05 15:35:19 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2021-04-06 10:23:50 +0200 |
| commit | 096ef0dc911ecc60e8dd32d8787b1e3705815f14 (patch) | |
| tree | 399875128cd1233c18caa222111af4fe650a9f47 /doc/Makefile | |
| parent | 12286a1fde7db7c5095a9acd894d3b11dba536da (diff) | |
Main: Default `--doctool` path to '.' if none given
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions