git: f7413197245c - main - ObsoleteFiles.inc: fix path of a few manual pages

From: Antoine Brodin <antoine_at_FreeBSD.org>
Date: Wed, 17 Aug 2022 08:02:17 UTC
The branch main has been updated by antoine:

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

commit f7413197245cfd732d3072c12beb2e49d40d2b32
Author:     Antoine Brodin <antoine@FreeBSD.org>
AuthorDate: 2022-08-17 08:01:54 +0000
Commit:     Antoine Brodin <antoine@FreeBSD.org>
CommitDate: 2022-08-17 08:01:54 +0000

    ObsoleteFiles.inc: fix path of a few manual pages
---
 ObsoleteFiles.inc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ObsoleteFiles.inc b/ObsoleteFiles.inc
index d74a196ec0f1..d7b622bc496c 100644
--- a/ObsoleteFiles.inc
+++ b/ObsoleteFiles.inc
@@ -1066,8 +1066,8 @@ OLD_FILES+=usr/include/c++/v1/unwind-itanium.h
 OLD_FILES+=usr/include/c++/v1/unwind.h
 
 # 20220128: mips pmc events removed
-OLD_FILES+=usr/share/man/man3/pmc.mips24k.3
-OLD_FILES+=usr/share/man/man3/pmc.octeon.3
+OLD_FILES+=usr/share/man/man3/pmc.mips24k.3.gz
+OLD_FILES+=usr/share/man/man3/pmc.octeon.3.gz
 
 # 20220127: terasic_mtl.4 removed
 OLD_FILES+=usr/share/man/man4/terasic_mtl.4.gz