ddskk: add texi file to recipe