10
rst_source_dir = os.path.join(rst_dir, 'reST')
11
rst_build_dir = rst_dir
12
rst_doctree_dir = os.path.join(rst_build_dir, 'doctrees')
14
c_header_dir = os.path.join('src', 'doc')
17
return sphinx.main([sys.argv[0],
19
'-d', rst_doctree_dir,
20
'-D', 'headers_dest=%s' % (c_header_dir,),
21
'-D', 'headers_mkdirs=0',
25
if __name__ == '__main__':