Remove duplicate "numbered" options for toctrees.
2 files changed