Re: [PATCH 2/2] Rename man1 and man7 variables to man1dir and man7dir
From: Junio C Hamano <hidden>
Date: 2016-06-15 22:42:31
Possibly related (same subject, not in this thread)
- 2016-06-15 · [PATCH 2/2] Rename man1 and man7 variables to man1dir and man7dir · Jakub Narebski <hidden>
- 2016-06-15 · Re: [PATCH 2/2] Rename man1 and man7 variables to man1dir and man7dir · Junio C Hamano <hidden>
Doesn't this break "make dist-doc" by _REMOVING_ make variables man1 and man7, which I mentioned earlier?