Re: git: b4bb66161e - main - Developers Handboo: Tools, remove reference to pmake

Developers' Handbook, sorry.

On Sun, 27 Aug 2023 at 12:02, Sergio Carlavilla Delgado <
carlavilla@freebsd.org> wrote:

> The branch main has been updated by carlavilla:
>
> URL:
> https://cgit.FreeBSD.org/doc/commit/?id=b4bb66161e1b905e64569f73a2560ebb5541842c
>
> commit b4bb66161e1b905e64569f73a2560ebb5541842c
> Author:     Sergio Carlavilla Delgado <carlavilla@FreeBSD.org>
> AuthorDate: 2023-08-27 10:01:22 +0000
> Commit:     Sergio Carlavilla Delgado <carlavilla@FreeBSD.org>
> CommitDate: 2023-08-27 10:01:22 +0000
>
>     Developers Handboo: Tools, remove reference to pmake
>
>     PR:             252938
>     Submitted by:   Alexis Praga <alexis.praga@proton.me>
> ---
>  .../content/en/books/developers-handbook/tools/_index.adoc    | 11
> +----------
>  1 file changed, 1 insertion(+), 10 deletions(-)
>
> diff --git
> a/documentation/content/en/books/developers-handbook/tools/_index.adoc
> b/documentation/content/en/books/developers-handbook/tools/_index.adoc
> index 22496920f7..038ee19d39 100644
> --- a/documentation/content/en/books/developers-handbook/tools/_index.adoc
> +++ b/documentation/content/en/books/developers-handbook/tools/_index.adoc
> @@ -655,16 +655,7 @@ as they are very complicated (and if you do look at
> them, make sure you have a f
>  `Make` is a very powerful tool, and can do much more than the simple
> example above shows.
>  Unfortunately, there are several different versions of `make`, and they
> all differ considerably.
>  The best way to learn what they can do is probably to read the
> documentation-hopefully this introduction will have given you a base from
> which you can do this.
> -
> -The version of make that comes with FreeBSD is the Berkeley make; there
> is a tutorial for it in [.filename]#/usr/src/share/doc/psd/12.make#.
> -To view it, do
> -
> -[source,bash]
> -....
> -% zmore paper.ascii.gz
> -....
> -
> -in that directory.
> +The man:make[1] manual page offers a comprehensive discussion of
> variables, arguments, and how to use make.
>
>  Many applications in the ports use GNU make, which has a very good set of
> "info" pages.
>  If you have installed any of these ports, GNU make will automatically
> have been installed as `gmake`.
>
>