From 3e9f8b2bf454137534d74450647088647a68cbfb 2016-07-06 15:43:21
From: Matthias Bussonnier <bussonniermatthias@gmail.com>
Date: 2016-07-06 15:43:21
Subject: [PATCH] Generate shortcuts on RTD

Closes #9709 (I hope)

---

diff --git a/docs/source/conf.py b/docs/source/conf.py
index 14f2d53..1fbf960 100755
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -26,7 +26,7 @@ if ON_RTD:
     tags.add('rtd')
 
     # RTD doesn't use the Makefile, so re-run autogen_{things}.py here.
-    for name in ('config', 'api', 'magics'):
+    for name in ('config', 'api', 'magics', 'shortcuts'):
         fname = 'autogen_{}.py'.format(name)
         fpath = os.path.abspath(os.path.join('..', fname))
         with open(fpath) as f: