diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-04-15 13:36:38 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-15 13:36:38 +0900 |
| commit | 4a3b4a90dadf4e9fba2e430c20cbbfa0042b1c0e (patch) | |
| tree | 3b2f58fd98024614ca995ef3863e190cc5eedd46 /sphinx/builders/htmlhelp.py | |
| parent | ccb694882c0ddec9617563485c9af4ff410dbf75 (diff) | |
| parent | 36038f8196e6abf8902900bc5cd5ce7144da3771 (diff) | |
| download | sphinx-git-4a3b4a90dadf4e9fba2e430c20cbbfa0042b1c0e.tar.gz | |
Merge pull request #4838 from bmwiedemann/hhp
Sort .hhp file list
Diffstat (limited to 'sphinx/builders/htmlhelp.py')
| -rw-r--r-- | sphinx/builders/htmlhelp.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sphinx/builders/htmlhelp.py b/sphinx/builders/htmlhelp.py index ac32a42db..8be51d50d 100644 --- a/sphinx/builders/htmlhelp.py +++ b/sphinx/builders/htmlhelp.py @@ -247,6 +247,8 @@ class HTMLHelpBuilder(StandaloneHTMLBuilder): outdir += os.sep olen = len(outdir) for root, dirs, files in os.walk(outdir): + dirs.sort() + files.sort() staticdir = root.startswith(path.join(outdir, '_static')) for fn in sorted(files): if (staticdir and not fn.endswith('.js')) or \ |