resources: Changed 'current' to 'develop' in dist.gem5.org url
The 'current' directory will now be used exclusively by the gem5
v19.0.0.0 release, with the develop branch using
dist.gem5.org/dist/develop directory instead.
diff --git a/README.md b/README.md
index c7a991a..6c74fb9 100644
--- a/README.md
+++ b/README.md
@@ -14,7 +14,7 @@
* **output** : Where the resources are stored after running the **Makefile**.
The directory structure maps to that under http://dist.gem5.org/dist. E.g.,
`output/test-progs/riscv-tests/median.riscv` can be found at
-http://dist.gem5.org/dist/current/test-progs/riscv-tests/median.riscv.
+http://dist.gem5.org/dist/develop/test-progs/riscv-tests/median.riscv.
The following sections outline our versioning policy, how to make changes
to this repository, and describe each resource and how they may be built.
@@ -42,10 +42,13 @@
The compiled resources for gem5 can be found under
http://dist.gem5.org/dist/{VERSION}. E.g. compiled resources for gem5 v20.2.0.0
are under http://dist.gem5.org/dist/v20-2-0-2 and are compiled from
-gem5-resources v20.2.0.0. http://dist.gem5.org/dist/current is kept in sync
+gem5-resources v20.2.0.0. http://dist.gem5.org/dist/develop is kept in sync
with the develop branch, and therefore should not be depended upon for stable,
regular usage.
+**Note: Resource files for gem5 v19.0.0.0, our legacy release, can be found
+under http://dist.gem5.org/dist/current**.
+
# Making Changes
Changes to this repository are made to the develop branch via our Gerrit