docs: def stopdocs():
      "stop Sphinx watchdog"
      for i in range(4):
          pid = watchdog_pid()
          if pid:
              if not i:
                  sh('ps {}'.format(pid))
              sh('kill {}'.format(pid))
              time.sleep(.5)
          else:
              break