summaryrefslogtreecommitdiff
path: root/make.1
diff options
context:
space:
mode:
Diffstat (limited to 'make.1')
-rw-r--r--make.12
1 files changed, 1 insertions, 1 deletions
diff --git a/make.1 b/make.1
index d11c4e6..5958b2e 100644
--- a/make.1
+++ b/make.1
@@ -164,7 +164,7 @@ for debugging while remaking makefiles.
Give variables taken from the environment precedence
over variables from makefiles.
.TP 0.5i
-+\fB\-f\fR \fIfile\fR, \fB\-\-file\fR=\fIfile\fR, \fB\-\-makefile\fR=\fIFILE\fR
+\fB\-f\fR \fIfile\fR, \fB\-\-file\fR=\fIfile\fR, \fB\-\-makefile\fR=\fIFILE\fR
Use
.I file
as a makefile.