docs: function run() {
      for (let pathName of getPathNames("contracts")) {
          let contractName = path.basename(pathName, ".sol");
          if (input.contracts.hasOwnProperty(contractName))
              post(contractName, getSourceCode(pathName));
      }
  }