git: 20675c61d139 - stable/14 - Install vmx man page also on arm64

The branch stable/14 has been updated by zlei:

URL: https://cgit.FreeBSD.org/src/commit/?id=20675c61d1397c3f9f5dc857b0997a1172e05164

commit 20675c61d1397c3f9f5dc857b0997a1172e05164
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:51:41 +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)
---
 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 e83be3054aca..90e84c31c98e 100644
--- a/share/man/man4/Makefile
+++ b/share/man/man4/Makefile
@@ -832,7 +832,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
@@ -863,7 +862,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
@@ -899,9 +897,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" || \