TOOLS/gen-interface-changes: small usability improvement

mpv-player · Sep 23, 2024 · 5e9e756 · 5e9e756
1 parent 883a45f
commit 5e9e756
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/TOOLS/gen-interface-changes.py b/TOOLS/gen-interface-changes.py
@@ -78,10 +78,14 @@ def add_new_entries(docs_dir, out, git):
 
     ver_line = " --- mpv 0." + major_version + ".0 ---"
     next_ver_line = " --- mpv 0." + str(int(major_version) + 1) + ".0 ---"
+    found = False
     with open(interface_changes, "w", newline="\n") as f:
         for line in lines:
             if line == ver_line:
                 f.write(next_ver_line + "\n")
             f.write(line + "\n")
             if line == ver_line:
                 add_new_entries(docs_dir, f, git)
+                found = True
+    if not found:
+        print(f"Nothing changed! The following line was not found:\n{ver_line}")