title: How to create play heroku procfile?
body: <p>I am following the directions here </p>
  
  <p><a href="http://blog.heroku.com/archives/2011/8/29/play/">http://blog.heroku.com/archives/2011/8/29/play/</a></p>
  
  <p>but I do <code>play run</code> and then <code>git push heroku master</code> but a procfile is not found.</p>
  
  <pre><code>-----&gt; No Procfile found. Will use process: 
         play run --http.port=$PORT $PLAY_OPTS
  </code></pre>
  
  <ol>
  <li>How do I explicitly create a procfile?</li>
  <li>The instructions seem to indicate that I should push to <code>heroku master</code> while the app is running. Am I reading that wrong?</li>
  <li>Where can I specify <code>$PORT</code> and <code>$PLAY_OPTS</code> for mydomain.herokuapp.com?</li>
  <li>Is it better to just modify the values for <code>%prod</code> in application.conf?</li>
  </ol>