Просмотр исходного кода

Utilities/Sphinx: Update man page config for Sphinx 4

Sphinx 4 by default generates `man/#/foo.#`, but older versions generate
`man/foo.#` as our install rules expect.  Update our Sphinx config file
to tell Sphinx 4 to use the old layout.

Fixes: #22192
Brad King 4 лет назад
Родитель
Сommit
bb9c69ed70
1 измененных файлов с 1 добавлено и 0 удалено
  1. 1 0
      Utilities/Sphinx/conf.py.in

+ 1 - 0
Utilities/Sphinx/conf.py.in

@@ -53,6 +53,7 @@ for fpath in cmake_manuals:
     except Exception as e:
         sys.stderr.write("ERROR: %s\n" % str(e))
 man_show_urls = False
+man_make_section_directory = False
 
 html_show_sourcelink = True
 html_static_path = ['@conf_path@/static']