docs: def info():
      """make Texinfo files and run them through makeinfo"""
      rc = texinfo()
      print('Running Texinfo files through makeinfo...')
      builddir = os.path.join(BUILDDIR, 'texinfo')
      subprocess.call(['make', '-C', builddir, 'info'])
      print('makeinfo finished; the Info files are in {}.'.format(builddir))