| layout |
|---|
default |
The current development work and git history of documentation is in the
dafny-lang/dafny repository, in the docs folder.
This dafny-lang/dafny.github.io repo is the target for https://dafny.org
and is the entry point to all the user-facing documentation about Dafny.
At the top-level is just the index.html landing page, supporting files (e.g., images) and files needed for the Github markdown translation.
Sub-folders contain snapshots of the Dafny documentation at the time of
each release (beginning with 3.9.0).
Each snapshot is in its own folder, e.g. dafny.org/vX.Y.Z, with latest
containing the most recent, and dev redirecting to the development docs.
dafny.org/dafny also resolves to the development docs. In fact, while dafny.org exists and maps to dafny-lang.github.io (as it currently does), it appears that if we want the development docs (which are in a different repo) to be linked under and subject to the same markdown processing, we need to live with the automatically produced dafny.org/dafny mapping for dafny-lang/dafny/docs.