fix sanity_config location

diff --git a/utils/regen_config_checks.sh b/utils/regen_config_checks.sh
index 8f753c8238b065c9aa70b40a8f1cda7126f899b1..e81d3673e8fb7e1476494951a579672d3be67c13 100755 (executable)
--- a/utils/regen_config_checks.sh
+++ b/utils/regen_config_checks.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-DESTINATION="sanity_config.php"
+DESTINATION="include/sanity_config.php"
 
 echo "<?php # This file has been generated at: " `date` > $DESTINATION