document how to prevent docs in dist

See https://groups.google.com/d/msg/play-framework/vXLwW2EvzmQ/X6gGm5oafrYJ