Other fixes

Add special Python command for Windows, specify HEAD for git shortlog
(why did it work?)

resources/text/CMakeLists.txt

@@ -8,8 +8,14 @@ add_custom_target(
     DEPENDS ${CMAKE_CURRENT_SOURCE_DIR}/text.qrc
 )
 
+if(NOT ${CMAKE_SYSTEM_NAME} STREQUAL "Windows")
+    set(PYTHON_COMMAND python3)
+else()
+    set(PYTHON_COMMAND python.exe)
+endif()
+
 execute_process(
-    COMMAND python3 ${CMAKE_CURRENT_SOURCE_DIR}/get_contributors.py
+    COMMAND ${PYTHON_COMMAND} ${CMAKE_CURRENT_SOURCE_DIR}/get_contributors.py
     WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}/
-	#COMMAND_ERROR_IS_FATAL ANY
+    #COMMAND_ERROR_IS_FATAL ANY
 )

resources/text/get_contributors.py

@@ -1,14 +1,14 @@
 import subprocess
 
 git_output = subprocess.run(
-    ["git", "shortlog", "-sn", "--no-merges"], capture_output=True, text=True
+    ["git", "shortlog", "HEAD", "-sn", "--no-merges"], capture_output=True, text=True
 )
 lines = git_output.stdout.splitlines()
 names = [line.partition("\t")[-1] for line in lines]
 
 text = ""
 for name in names:
-    text = text + "<p align=\"center\" style=\"margin: 0\">" + name + "</p>\n"
+    text = text + '<p align="center" style="margin: 0">' + name + "</p>\n"
 
 file = open("gen_contributors.html", "w")
 file.write(text)