diff options
author | Paul Smith <psmith@gnu.org> | 2022-02-06 17:53:48 -0500 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2022-02-06 18:46:32 -0500 |
commit | bdaeca49e988a2a659a8cedf38a79057a3fd9ef8 (patch) | |
tree | 26ba20125e6506ddbdb03ee58ca40fc2750b88df /TODO.private | |
parent | 342a9bb54b36fc054c59cec961322a025634229f (diff) | |
download | make-git-bdaeca49e988a2a659a8cedf38a79057a3fd9ef8.tar.gz |
* doc/make.1: Use "target" from the SYNOPSIS.
Reported by Helge Kreutzmann <debian@helgefjell.de>
Diffstat (limited to 'TODO.private')
0 files changed, 0 insertions, 0 deletions