Re: Documentation - reference not defined query

[Paul Smith]

On Mon, 2020-01-20 at 16:32 -0500, Paul Smith wrote:
> > ...$ make Makefile

I also wanted to say, this is wrong as written here... you don't want to
give Makefile as a target to be built.

You should just run "make" with no arguments.  Make will read a file named
"Makefile" by default.  Only if your makefile is named something non-
standard do you need to put it on the command line, and then you must use
the "-f" option:

  make -f mymakefile

See https://www.gnu.org/software/make/manual/html_node/Makefile-Names.html