config.status

changeset 2
282e7d2bb28a
parent 0
033898178630
child 5
36387e45a194
--- a/config.status	Sun Aug 05 11:32:13 2018 +0200
+++ b/config.status	Tue Aug 07 16:42:49 2018 +0200
@@ -393,7 +393,7 @@
 "
 
 # Files that config.status was made for.
-config_files=" Makefile.global"
+config_files=" Makefile.global www/version.php"
 config_headers=" config.h"
 
 ac_cs_usage="\
@@ -536,6 +536,7 @@
   case $ac_config_target in
     "config.h") CONFIG_HEADERS="$CONFIG_HEADERS config.h" ;;
     "Makefile.global") CONFIG_FILES="$CONFIG_FILES Makefile.global" ;;
+    "www/version.php") CONFIG_FILES="$CONFIG_FILES www/version.php" ;;
 
   *) as_fn_error $? "invalid argument: \`$ac_config_target'" "$LINENO" 5;;
   esac

mercurial