doc/tools/pyjsrest.py
changeset 12801 1156108afab9
parent 11056 b7f8d2ee6532
equal deleted inserted replaced
12800:3e2e04447bf5 12801:1156108afab9
    87             filename = osp.join(rst_path, js_file[:-3])
    87             filename = osp.join(rst_path, js_file[:-3])
    88             # add to index
    88             # add to index
    89             index.add(filename)
    89             index.add(filename)
    90             # save rst file
    90             # save rst file
    91             with open(osp.join(rst_dir, filename) + '.rst', 'wb') as f_rst:
    91             with open(osp.join(rst_dir, filename) + '.rst', 'wb') as f_rst:
    92                 f_rst.write(rst_content)
    92                 f_rst.write(rst_content.encode())
    93     stream = open(osp.join(rst_dir, 'index.rst'), 'w')
    93     stream = open(osp.join(rst_dir, 'index.rst'), 'w')
    94     stream.write('''
    94     stream.write('''
    95 Javascript API
    95 Javascript API
    96 ==============
    96 ==============
    97 
    97