diff --git a/dev_tools/gen_doctrine_migration.php b/dev_tools/gen_doctrine_migration.php
index 1dfe9deef..2e9791f30 100644
--- a/dev_tools/gen_doctrine_migration.php
+++ b/dev_tools/gen_doctrine_migration.php
@@ -1,4 +1,9 @@
 <?php
+	/* to enable this script, make sure phar files are enabled
+	 * phar.readonly = Off
+	 * in /etc/php5/cli/php.ini
+	 */
+
     $dir = __DIR__;
     $command = "php $dir/../library/doctrine/migrations/doctrine-migrations.phar --configuration=$dir/../install/DoctrineMigrations/migrations.xml --db-configuration=$dir/../library/doctrine/migrations/migrations-db.php --no-interaction migrations:generate";
     system($command);