git: a4e5f793266e - main - misc/freebsd-doc-*: Update to rev. 707a7e8 from the FreeBSD docset.

From: Marc Fonvieille <blackend_at_FreeBSD.org>
Date: Sat, 13 May 2023 09:10:53 UTC 
The branch main has been updated by blackend:

URL: https://cgit.FreeBSD.org/ports/commit/?id=a4e5f793266ed0a57759be09312a7fc8677b205e

commit a4e5f793266ed0a57759be09312a7fc8677b205e
Author:     Marc Fonvieille <blackend@FreeBSD.org>
AuthorDate: 2023-05-13 09:08:12 +0000
Commit:     Marc Fonvieille <blackend@FreeBSD.org>
CommitDate: 2023-05-13 09:08:12 +0000

    misc/freebsd-doc-*: Update to rev. 707a7e8 from the FreeBSD docset.
    
    Approved by:    doceng (implicit)
---
 misc/freebsd-doc-all/Makefile | 2 +-
 misc/freebsd-doc-en/Makefile  | 2 +-
 misc/freebsd-doc-en/distinfo  | 6 +++---
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/misc/freebsd-doc-all/Makefile b/misc/freebsd-doc-all/Makefile
index 3571bdc1b16e..3d39e5cc2c55 100644
--- a/misc/freebsd-doc-all/Makefile
+++ b/misc/freebsd-doc-all/Makefile
@@ -1,5 +1,5 @@
 PORTNAME=	freebsd-doc-all
-PORTVERSION=	20230420
+PORTVERSION=	20230512
 PORTEPOCH=	1
 CATEGORIES=	misc docs
 
diff --git a/misc/freebsd-doc-en/Makefile b/misc/freebsd-doc-en/Makefile
index f9e52e6dcb28..c55254777602 100644
--- a/misc/freebsd-doc-en/Makefile
+++ b/misc/freebsd-doc-en/Makefile
@@ -1,5 +1,5 @@
 PORTNAME=	freebsd-doc
-PORTVERSION=	20230420
+PORTVERSION=	20230512
 PORTEPOCH=	1
 CATEGORIES=	misc docs
 MASTER_SITES=	LOCAL/doceng
diff --git a/misc/freebsd-doc-en/distinfo b/misc/freebsd-doc-en/distinfo
index 8dec8c6be20a..d47f511c00e3 100644
--- a/misc/freebsd-doc-en/distinfo
+++ b/misc/freebsd-doc-en/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1681954071
-SHA256 (freebsd-doc-20230420.tar.gz) = cbcecd37cf6bf721021520bb2948abd98c5632f5cde2a4089cafb30465afc027
-SIZE (freebsd-doc-20230420.tar.gz) = 38889194
+TIMESTAMP = 1683906902
+SHA256 (freebsd-doc-20230512.tar.gz) = e0daf04b5a26636a6c296c59162b507b1e7b8b4586bbf346f90045a54a5a42d1
+SIZE (freebsd-doc-20230512.tar.gz) = 39125133