run docbooc2txt