def licence_name_to_file_name(licence_name: str) -> str:
    """
    Converts a licence name to the name of the file
    containing its definition.

    :param licence_name:    The licence name.
    :return:                The file name.
    """
    return licence_name.lower().replace(" ", "-") + ".txt"