Change file extension for pure C header file.

Author: dhebbeker

.gitignore

@@ -8,4 +8,4 @@ doc/html/
 doc/latex/
 .vscode/settings.json
 __pycache__
-/lib/utilities/vcs_identifier_gen.hpp
+/lib/utilities/vcs_identifier_gen.h

generate_vcs_identifier.py

@@ -20,7 +20,7 @@
 source_dir = env.subst("$PROJECT_DIR")
 
 # Path to the output file within
-output_file = os.path.join(source_dir, 'lib', 'utilities', 'vcs_identifier_gen.hpp')
+output_file = os.path.join(source_dir, 'lib', 'utilities', 'vcs_identifier_gen.h')
 
 vcs_id = get_vcs_id()
 

lib/utilities/version.hpp

@@ -1,8 +1,8 @@
 #pragma once
 
 #include <optional>
-#if __has_include("vcs_identifier_gen.hpp")
-#include "vcs_identifier_gen.hpp"
+#if __has_include("vcs_identifier_gen.h")
+#include "vcs_identifier_gen.h"
 constexpr std::optional<const char *> vcsId = VCS_ID;
 #else
 constexpr std::optional<const char *> vcsId = std::nullopt;