changed variable name
[rocksndiamonds.git] / src / config.c
index fe40a69769a255ebb20c146f78c67193887fd6df..f5c47238b47dee4d66aa6d60f1d6cd6925402bb5 100644 (file)
 #include "conftime.h"
 
 
-char *getSourceDateString()
+char *getSourceDateString(void)
 {
   return SOURCE_DATE_STRING;
 }
 
-char *getProgramTitleString()
+char *getProgramTitleString(void)
 {
   return program.program_title;
 }
 
-char *getProgramRealVersionString()
+char *getProgramRealVersionString(void)
 {
   static char program_version_string[32];
 
   sprintf(program_version_string, "%d.%d.%d.%d%s",
-         PROGRAM_VERSION_MAJOR, PROGRAM_VERSION_MINOR, PROGRAM_VERSION_PATCH,
-         PROGRAM_VERSION_BUILD, PROGRAM_VERSION_EXTRA);
+         PROGRAM_VERSION_SUPER, PROGRAM_VERSION_MAJOR, PROGRAM_VERSION_MINOR,
+         PROGRAM_VERSION_PATCH, PROGRAM_VERSION_EXTRA);
 
   return program_version_string;
 }
 
-char *getProgramVersionString()
+char *getProgramVersionString(void)
 {
   return program.version_string;
 }
 
-char *getProgramInitString()
+char *getProgramInitString(void)
 {
   static char *program_init_string = NULL;
 
@@ -57,7 +57,7 @@ char *getProgramInitString()
   return program_init_string;
 }
 
-char *getConfigProgramTitleString()
+char *getConfigProgramTitleString(void)
 {
   TreeInfo *graphics_current =
     getArtworkTreeInfoForUserLevelSet(ARTWORK_TYPE_GRAPHICS);
@@ -69,7 +69,7 @@ char *getConfigProgramTitleString()
          setup.internal.program_title);
 }
 
-char *getConfigProgramCopyrightString()
+char *getConfigProgramCopyrightString(void)
 {
   TreeInfo *graphics_current =
     getArtworkTreeInfoForUserLevelSet(ARTWORK_TYPE_GRAPHICS);
@@ -81,7 +81,7 @@ char *getConfigProgramCopyrightString()
          setup.internal.program_copyright);
 }
 
-char *getConfigProgramCompanyString()
+char *getConfigProgramCompanyString(void)
 {
   TreeInfo *graphics_current =
     getArtworkTreeInfoForUserLevelSet(ARTWORK_TYPE_GRAPHICS);
@@ -93,7 +93,7 @@ char *getConfigProgramCompanyString()
          setup.internal.program_company);
 }
 
-char *getWindowTitleString()
+char *getWindowTitleString(void)
 {
   static char *window_title_string = NULL;