/Makefile.am/1.2/Thu Aug 15 17:01:12 2019//
/Makefile.in/1.7/Sat Jun 25 17:11:49 2022//
/mkfontdir.man/1.1/Thu Aug 15 17:01:12 2019//
/mkfontscale.man/1.4/Sat Jun 25 17:11:49 2022//
D
