# HG changeset patch
# User Philippe Pepiot <phil@philpep.org>
# Date 1506006789 -7200
# Node ID b84dda686fb17252c7665c2dface7ec17f9e2417
# Parent  3f466d348047349490a9f2339d8b934015e2dfba
doc: disable generating command documentation when mercurial is not up-to-date

diff -r 3f466d348047 -r b84dda686fb1 docs/conf.py
--- 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',