From f55112922f4af5c8ed06f7b2e4bb9535995c8786 Mon Sep 17 00:00:00 2001 From: Gareth Rees Date: Sun, 23 Aug 2020 15:44:09 +0100 Subject: [PATCH] Fix build of manual with sphinx 2.2.1. This version of Sphinx no longer has an info() method on the Sphinx class, so we need to create a logger instance using sphinx.util.logging. --- mps/manual/source/extensions/mps/designs.py | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/mps/manual/source/extensions/mps/designs.py b/mps/manual/source/extensions/mps/designs.py index 4443b792abf..d46568defdb 100644 --- a/mps/manual/source/extensions/mps/designs.py +++ b/mps/manual/source/extensions/mps/designs.py @@ -17,6 +17,7 @@ import re import shutil import sys +from sphinx.util import logging from sphinx.util.console import bold TYPES = ''' @@ -142,15 +143,17 @@ def newer(src, target): or os.path.getmtime(target) < os.path.getmtime(src) or os.path.getmtime(target) < os.path.getmtime(__file__)) +logger = logging.getLogger(__name__) + # Mini-make def convert_updated(app): - app.info(bold('converting MPS design documents')) + logger.info(bold('converting MPS design documents')) for design in glob.iglob('../design/*.txt'): name = os.path.splitext(os.path.basename(design))[0] if name == 'index': continue converted = 'source/design/%s.rst' % name if newer(design, converted): - app.info('converting design %s' % name) + logger.info('converting design %s' % name) convert_file(name, design, converted) diagrams = chain(*[glob.iglob('../design/*.' + ext) for ext in 'png svg'.split()])