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

From: Sergio Carlavilla Delgado <carlavilla_at_FreeBSD.org>
Date: Sun, 27 Aug 2023 10:02:20 UTC
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`.