Ticket #14199: trac_14199.patch

File trac_14199.patch, 1.2 KB (added by jhpalmieri, 9 years ago)
  • doc/common/builder.py

    # HG changeset patch
    # User J. H. Palmieri <palmieri@math.washington.edu>
    # Date 1362595030 28800
    # Node ID c0292cb6607d0b772fcec6b38ecac2489b920606
    # Parent  0ea88351baafecc9ad1666e6da13e123f59068b4
    Fix small bug in determining which files are changed when building docs.
    
    diff --git a/doc/common/builder.py b/doc/common/builder.py
    a b  
    787787    def get_modified_modules(self):
    788788        """
    789789        Returns an iterator for all the modules that have been modified
    790         since the docuementation was last built.
     790        since the documentation was last built.
    791791        """
    792792        env = self.get_sphinx_environment()
    793793        if env is None:
     
    801801            self.clean_auto()
    802802            return
    803803        for name in changed:
    804             if name.startswith('sage'):
     804            # Only pay attention to files in a directory sage/... In
     805            # particular, don't treat a file like 'sagetex.rst' in
     806            # doc/en/reference/misc as an autogenerated file: see
     807            # #14199.
     808            if name.startswith('sage' + os.sep):
    805809                yield name
    806810
    807811    def print_modified_modules(self):