diff options
| author | Yoni Rabkin <yoni@rabkins.net> | 2020-05-27 11:18:32 -0400 |
|---|---|---|
| committer | Yoni Rabkin <yoni@rabkins.net> | 2020-05-27 11:18:32 -0400 |
| commit | 59cc585cfad3c2f666006e4b1c049dfa676fffd4 (patch) | |
| tree | d7b04ed90ad43ea75db6fa52b97d0330e48145c7 /doc/Makefile | |
| parent | 27bf18f4f138503f67151c2ad31d07cee3dccbb8 (diff) | |
* Makefile: generate a dir info file
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions