01_manual_fixup.dpatch 
02_ru_RU.KOI8-R.dpatch 
03_Imakefile_Debian.dpatch 
04_displaywho.dpatch 
05_locale.dpatch 
06_gen_manual.dpatch 
07_avoid_warnings.dpatch 
08_genps_oldpatterns.dpatch
09_maxfontsize.dpatch
10_arrow_tip.dpatch
11_SetFigFont-params.dpatch
12_PNG_imagemap.dpatch
13_remove_extralibs.dpatch
