Open gmethvin opened 8 years ago
User should be pointed to an external repository. Do we store the source repository url related to a module?
This issue probably needs a bit more explanation of how the documentation system works. Unfortunately there are parts of the process that are not well documented.
Here's what happens:
playdoc
classifier. For example you'll notice the playdoc jars along with sources and javadoc here: http://central.maven.org/maven2/com/typesafe/play/play-json_2.12/2.6.6/omnidoc/bin/deploy
script is used to deploy the rendered docs to https://github.com/playframework/play-generated-docs, which is used by the website.One way to solve this issue would be to add an additional task to the extraction stage at omnidoc that adds a footer to the markdown documents (in other words, this link will be in the generated docs, not on the website). Another way would be to introduce a file in the generated docs that maps individual page paths to their source repositories. This information could then be used by the Play website to decide which repo should be linked.
The source code link at the bottom of the documentation seems to assume it is in the playframework repo, for example: