Fixup r362981: remove gzipped manual pages.

Pointy hat to:	glebius
This commit is contained in:
Gleb Smirnoff 2020-07-07 02:43:53 +00:00
parent 91ddfec2d7
commit 67a9734943

View File

@ -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