diff options
| author | Christian Hesse <mail@eworm.de> | 2018-10-16 09:56:24 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2018-10-16 17:00:42 +0900 |
| commit | 744f7c4c314dc0e7816ac05520e8358c8318187a (patch) | |
| tree | ffa0803158da6118c626277b7ff11e3db2282ae3 /t/t4013/diff.diff_initial..side | |
| parent | subtree: add build targets 'man' and 'html' (diff) | |
| download | git-744f7c4c314dc0e7816ac05520e8358c8318187a.tar.gz git-744f7c4c314dc0e7816ac05520e8358c8318187a.zip | |
subtree: make install targets depend on build targets
Now that we have build targets let the install targets depend on them.
Also make the targets phony.
Signed-off-by: Christian Hesse <mail@eworm.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 't/t4013/diff.diff_initial..side')
0 files changed, 0 insertions, 0 deletions
