##// END OF EJS Templates
Revert part of gh-9567
Thomas Kluyver -
Show More
@@ -11,7 +11,8 b" generated = join(options, 'config-generated.txt')"
11
11
12
12
13 def write_doc(name, title, app, preamble=None):
13 def write_doc(name, title, app, preamble=None):
14 with open(generated, 'a') as f:
14 filename = join(options, name+'.rst')
15 with open(filename, 'w') as f:
15 f.write(title + '\n')
16 f.write(title + '\n')
16 f.write(('=' * len(title)) + '\n')
17 f.write(('=' * len(title)) + '\n')
17 f.write('\n')
18 f.write('\n')
@@ -21,7 +22,7 b' def write_doc(name, title, app, preamble=None):'
21
22
22
23
23 if __name__ == '__main__':
24 if __name__ == '__main__':
24 # create empty file
25 # Touch this file for the make target
25 with open(generated, 'w'):
26 with open(generated, 'w'):
26 pass
27 pass
27
28
@@ -6,4 +6,7 b' Any of the options listed here can be set in config files, at the'
6 command line, or from inside IPython. See :ref:`setting_config` for
6 command line, or from inside IPython. See :ref:`setting_config` for
7 details.
7 details.
8
8
9 .. include:: config-generated.txt
9 .. toctree::
10
11 terminal
12 kernel
General Comments 0
You need to be logged in to leave comments. Login now