mirror of
https://github.com/dokku/dokku.git
synced 2025-12-29 00:25:08 +01:00
Users may inadvertently set the builder to 'dockerfile' and have build errors when there is no Dockerfile. This change makes it clear that the dockerfile _must_ exist in order for the build to succeed. Closes #7181