Add texinfo and test->check