diff -r 37f1a08315f3 -r 282e7d2bb28a config.status --- 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