git: 4de4f81f379e - main - Install vmx man page also on arm64

The branch main has been updated by zlei:

URL: https://cgit.FreeBSD.org/src/commit/?id=4de4f81f379edc5f3a0c0bd1a2325bf8a1873e7e

commit 4de4f81f379edc5f3a0c0bd1a2325bf8a1873e7e
Author:     Zhenlei Huang <zlei@FreeBSD.org>
AuthorDate: 2024-11-28 10:04:22 +0000
Commit:     Zhenlei Huang <zlei@FreeBSD.org>
CommitDate: 2024-11-28 10:04:22 +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
---
 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 72e1de3009c9..c988584c2e00 100644
--- a/share/man/man4/Makefile
+++ b/share/man/man4/Makefile
@@ -859,7 +859,6 @@ _if_bxe.4=	if_bxe.4
 _if_hn.4=	if_hn.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
@@ -890,7 +889,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
 _wdatwd.4=	wdatwd.4
 _wpi.4=		wpi.4
@@ -926,9 +924,11 @@ _vmm.4=		vmm.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" || \