diff options
| author | Takayuki Shimizukawa <shimizukawa@gmail.com> | 2014-03-02 14:40:29 +0900 |
|---|---|---|
| committer | Takayuki Shimizukawa <shimizukawa@gmail.com> | 2014-03-02 14:40:29 +0900 |
| commit | 194e50fd2d0fee64c63a5374746c28edafb40444 (patch) | |
| tree | f43551114ead1933b6ba49fb04016d39c5cfd7c1 /utils/check_sources.py | |
| parent | 1390388baaccd4b2a19a070a08d0af205e081f46 (diff) | |
| download | sphinx-git-194e50fd2d0fee64c63a5374746c28edafb40444.tar.gz | |
Fix 'make gettext' fails when the '.. todolist::' directive is present. Closes #1364
Nodes that are replicated like todo don't have a uid, however i18n also unnecessary.
If extensions need to choose i18n for the extended nodes or not, we need another approach.
Diffstat (limited to 'utils/check_sources.py')
0 files changed, 0 insertions, 0 deletions