git: 92bd3b208845 - stable/13 - Install vmx man page also on arm64

From: Zhenlei Huang <zlei_at_FreeBSD.org>
Date: Fri, 06 Dec 2024 13:57:44 UTC
The branch stable/13 has been updated by zlei:

URL: https://cgit.FreeBSD.org/src/commit/?id=92bd3b208845b492299e1f67c58762a84581c66b

commit 92bd3b208845b492299e1f67c58762a84581c66b
Author:     Zhenlei Huang <zlei@FreeBSD.org>
AuthorDate: 2024-11-28 10:04:22 +0000
Commit:     Zhenlei Huang <zlei@FreeBSD.org>
CommitDate: 2024-12-06 13:56:52 +0000

    Install vmx man page also on arm64
    
    Fixes:          375d797b8191 Enable pvscsi and vmx in arm64 GENERIC
    MFC after:      1 week
    Differential Revision:  https://reviews.freebsd.org/D47711
    
    (cherry picked from commit 4de4f81f379edc5f3a0c0bd1a2325bf8a1873e7e)
    (cherry picked from commit 20675c61d1397c3f9f5dc857b0997a1172e05164)
---
 share/man/man4/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/share/man/man4/Makefile b/share/man/man4/Makefile
index d961e7f17879..49d39321a64e 100644
--- a/share/man/man4/Makefile
+++ b/share/man/man4/Makefile
@@ -845,7 +845,6 @@ _if_bxe.4=	if_bxe.4
 _if_ndis.4=	if_ndis.4
 _if_nfe.4=	if_nfe.4
 _if_urtw.4=	if_urtw.4
-_if_vmx.4=	if_vmx.4
 _if_wpi.4=	if_wpi.4
 _igc.4=		igc.4
 _imcsmb.4=	imcsmb.4
@@ -878,7 +877,6 @@ _urtw.4=	urtw.4
 _viawd.4=	viawd.4
 _vmci.4=	vmci.4
 _vmd.4=		vmd.4
-_vmx.4=		vmx.4
 _wbwd.4=	wbwd.4
 _wpi.4=		wpi.4
 _xen.4=		xen.4
@@ -922,9 +920,11 @@ _nvme.4=	nvme.4
 .if ${MACHINE_CPUARCH} == "amd64" || ${MACHINE_CPUARCH} == "i386" || \
 	 ${MACHINE_CPUARCH} == "aarch64"
 _gve.4=		gve.4
+_if_vmx.4=	if_vmx.4
 _ipmi.4=	ipmi.4
 _linux.4=	linux.4
 _ossl.4=	ossl.4
+_vmx.4=		vmx.4
 .endif
 
 .if ${MACHINE_CPUARCH} == "arm" || ${MACHINE_CPUARCH} == "aarch64" || \