--- a/docs/conf.py	Fri Sep 01 08:32:17 2017 +0200
+++ b/docs/conf.py	Thu Sep 21 17:13:09 2017 +0200
@@ -140,6 +140,8 @@
 
     def run(self):
         u = ui.ui()
+        if not hasattr(u, 'disablepager'):
+            return []
         u.disablepager()
         u.setconfig(
             'extensions', 'evolve',