Как создать play heroku procfile?

Я следую указаниям здесь

http://blog.heroku.com/archives/2011/8/29/play/

но я делаю play run и затем git push heroku master но procfile не найден.

-----> No Procfile found. Will use process: 
       play run --http.port=$PORT $PLAY_OPTS

1. Как мне явно создать procfile?
2. Похоже, что инструкции указывают на то, что я должен push на heroku master во время работы приложения. Я неправильно понял?
3. Где я могу указать $PORT и $PLAY_OPTS для mydomain.herokuapp.com?
4. Лучше просто изменить значения для %prod в application.conf?