> > [3]
> >
> > html-doc and api-doc - or just doc - need to be added to .PHONY.
>
> Okay, what it this .PHONY thing anyway?
It means that it's not a real file, and make unconditionally runs its
commands when it's requested or depended upon by another target; make
revolves around real files, so it's best to tell it when something is
not and will never be a real file.
> > [3]
> >
> > html-doc and api-doc - or just doc - need to be added to .PHONY.
>
> Okay, what it this .PHONY thing anyway?
It means that it's not a real file, and make unconditionally runs its
commands when it's requested or depended upon by another target; make
revolves around real files, so it's best to tell it when something is
not and will never be a real file.