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 /doc | |
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 'doc')
-rw-r--r-- | doc/make.1 | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -48,10 +48,10 @@ files, it issues the commands recorded in the makefile. .B make executes commands in the .I makefile -to update one or more target -.IR names , +to update one or more +.IR targets , where -.I name +.I target is typically a program. If no .B \-f |