Shouldn't this task depend on the `texinfo` task, rather than repeating its recipe?