/patch-Makefile_in/1.2/Sat Mar 12 08:18:28 2022//
/patch-texi2html_pl/1.4/Sat Mar 12 08:18:28 2022//
D
