Sphinx numbering issues with multiple doc trees A minimal example to demonstrate Sphinx section numbering issues when multiple ToCs include the same file: To build: make manual1 make manual2