##// END OF EJS Templates
Merge pull request #9711 from Carreau/shortcuts-rtd...
Thomas Kluyver -
r22661:1d79eb78 merge
parent child Browse files
Show More
@@ -26,7 +26,7 b' if ON_RTD:'
26 tags.add('rtd')
26 tags.add('rtd')
27
27
28 # RTD doesn't use the Makefile, so re-run autogen_{things}.py here.
28 # RTD doesn't use the Makefile, so re-run autogen_{things}.py here.
29 for name in ('config', 'api', 'magics'):
29 for name in ('config', 'api', 'magics', 'shortcuts'):
30 fname = 'autogen_{}.py'.format(name)
30 fname = 'autogen_{}.py'.format(name)
31 fpath = os.path.abspath(os.path.join('..', fname))
31 fpath = os.path.abspath(os.path.join('..', fname))
32 with open(fpath) as f:
32 with open(fpath) as f:
General Comments 0
You need to be logged in to leave comments. Login now