100644 blob 490b367990c4c19b1d3913dd518f15a3144eba8d	disable_dvips_doc.patch
100644 blob 50c8a8f3fed765c51669028ec919c998bdef390f	disable_sgml2rtf.patch
100644 blob b62895c67d09ec03f35495671e46e7819290a26e	disable_tex_doc.patch
100644 blob 8d784110dbf991d2acbff450d90555f4727437c1	disable_txt_doc.patch