diff --git a/ObsoleteFiles.inc b/ObsoleteFiles.inc
index 4290b6dddb02..fe2315aea6b2 100644
--- a/ObsoleteFiles.inc
+++ b/ObsoleteFiles.inc
@@ -37,10 +37,10 @@
 # done
 
 # 20200706: update of sglist(9), r360574
-OLD_FILES+=usr/share/man/man9/sglist_append_ext_pgs.9
-OLD_FILES+=usr/share/man/man9/sglist_append_mb_ext_pgs.9
-OLD_FILES+=usr/share/man/man9/sglist_count_ext_pgs.9
-OLD_FILES+=usr/share/man/man9/sglist_count_mb_ext_pgs.9
+OLD_FILES+=usr/share/man/man9/sglist_append_ext_pgs.9.gz
+OLD_FILES+=usr/share/man/man9/sglist_append_mb_ext_pgs.9.gz
+OLD_FILES+=usr/share/man/man9/sglist_count_ext_pgs.9.gz
+OLD_FILES+=usr/share/man/man9/sglist_count_mb_ext_pgs.9.gz
 
 # 20200617: update opencsd to 0.14.2
 OLD_FILES+=usr/include/opencsd/etmv4/trc_pkt_elem_etmv4d.h