docs: def write_version_file(self, version_file_path, tstamp, svnpath, svnrev, version):
          """Args:
  
          version_file_path: tstamp: svnpath: svnrev: version:
  
          """
          txt = """# This file is automatically generated. Manual edits will be erased.
  
  # When this file was generated
  TIMESTAMP="{}"
  
  # Path of the schema used in the repository
  SVNPATH="{1}"
  
  # SVN revision of the schema that was used
  SVNREVISION="{2}"
  
  # The version tag of the schema
  VERSION="{3}"
          """.format(
              tstamp, svnpath, svnrev, version
          )
  
          with open(version_file_path, 'w') as f:
              f.write(txt)