On 11/16/2012 03:21 AM, Michael Zolotukhin wrote: > Maybe we should introduce a > new gen-utility which should be used only for dumping md-files and add > a new target into makefile to invoke it,
This is exactly what I suggested somewhere up-thread. r~
