@Bastien: I'm not sure what you call '.org' but using 'make texinfo-sphinx' will generate both the '.texi' files and the '.info' ones.
@Bastien: I'm not sure what you call '.org' but using 'make texinfo-sphinx' will generate both the '.texi' files and the '.info' ones.