source: specdomain/trunk/src/specdomain/comparison/starter.py @ 1011

Last change on this file since 1011 was 1011, checked in by jemian, 10 years ago

various things while discussing with Christian

File size: 700 bytes
Line 
1#!/usr/bin/env python
2
3# $Id: starter.py 938 2012-06-15 23:10:56Z jemian $
4
5'''
6Builds Sphinx documentation
7(and provides a way to use the source-code debugger for the process)
8'''
9
10import os
11import sphinx
12import sys
13
14
15def force_rebuild_all(parent = '_build'):
16    '''
17    Delete the pickle file.
18   
19    :param str parent: path to *build* subdirectory (either ``build`` or ``_build``)
20    '''
21    pickle_file = parent+'/doctrees/environment.pickle'
22    if os.path.exists(pickle_file):
23        os.remove(pickle_file)
24
25
26if __name__ == '__main__':
27    force_rebuild_all()
28    args = [sys.argv[0]] + "-b html -d _build/doctrees . _build/html".split()
29    sphinx.main(args)
Note: See TracBrowser for help on using the repository browser.