Move specification to a directory indicating the version

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
diff --git a/docs/PSA_Cryptography_API_Specification.pdf b/docs/1.0.1/PSA_Cryptography_API_Specification.pdf
similarity index 100%
rename from docs/PSA_Cryptography_API_Specification.pdf
rename to docs/1.0.1/PSA_Cryptography_API_Specification.pdf
Binary files differ
diff --git a/docs/html/.buildinfo b/docs/1.0.1/html/.buildinfo
similarity index 100%
rename from docs/html/.buildinfo
rename to docs/1.0.1/html/.buildinfo
diff --git a/docs/html/_images/Arm_logo_blue_150LG.png b/docs/1.0.1/html/_images/Arm_logo_blue_150LG.png
similarity index 100%
rename from docs/html/_images/Arm_logo_blue_150LG.png
rename to docs/1.0.1/html/_images/Arm_logo_blue_150LG.png
Binary files differ
diff --git a/docs/html/_static/alabaster.css b/docs/1.0.1/html/_static/alabaster.css
similarity index 100%
rename from docs/html/_static/alabaster.css
rename to docs/1.0.1/html/_static/alabaster.css
diff --git a/docs/html/_static/basic.css b/docs/1.0.1/html/_static/basic.css
similarity index 100%
rename from docs/html/_static/basic.css
rename to docs/1.0.1/html/_static/basic.css
diff --git a/docs/html/_static/custom.css b/docs/1.0.1/html/_static/custom.css
similarity index 100%
rename from docs/html/_static/custom.css
rename to docs/1.0.1/html/_static/custom.css
diff --git a/docs/html/_static/doctools.js b/docs/1.0.1/html/_static/doctools.js
similarity index 100%
rename from docs/html/_static/doctools.js
rename to docs/1.0.1/html/_static/doctools.js
diff --git a/docs/html/_static/documentation_options.js b/docs/1.0.1/html/_static/documentation_options.js
similarity index 100%
rename from docs/html/_static/documentation_options.js
rename to docs/1.0.1/html/_static/documentation_options.js
diff --git a/docs/html/_static/file.png b/docs/1.0.1/html/_static/file.png
similarity index 100%
rename from docs/html/_static/file.png
rename to docs/1.0.1/html/_static/file.png
Binary files differ
diff --git a/docs/html/_static/jquery-3.2.1.js b/docs/1.0.1/html/_static/jquery-3.2.1.js
similarity index 100%
rename from docs/html/_static/jquery-3.2.1.js
rename to docs/1.0.1/html/_static/jquery-3.2.1.js
diff --git a/docs/html/_static/jquery.js b/docs/1.0.1/html/_static/jquery.js
similarity index 100%
rename from docs/html/_static/jquery.js
rename to docs/1.0.1/html/_static/jquery.js
diff --git a/docs/html/_static/language_data.js b/docs/1.0.1/html/_static/language_data.js
similarity index 100%
rename from docs/html/_static/language_data.js
rename to docs/1.0.1/html/_static/language_data.js
diff --git a/docs/html/_static/minus.png b/docs/1.0.1/html/_static/minus.png
similarity index 100%
rename from docs/html/_static/minus.png
rename to docs/1.0.1/html/_static/minus.png
Binary files differ
diff --git a/docs/html/_static/plus.png b/docs/1.0.1/html/_static/plus.png
similarity index 100%
rename from docs/html/_static/plus.png
rename to docs/1.0.1/html/_static/plus.png
Binary files differ
diff --git a/docs/html/_static/pygments.css b/docs/1.0.1/html/_static/pygments.css
similarity index 100%
rename from docs/html/_static/pygments.css
rename to docs/1.0.1/html/_static/pygments.css
diff --git a/docs/html/_static/searchtools.js b/docs/1.0.1/html/_static/searchtools.js
similarity index 100%
rename from docs/html/_static/searchtools.js
rename to docs/1.0.1/html/_static/searchtools.js
diff --git a/docs/html/_static/underscore-1.3.1.js b/docs/1.0.1/html/_static/underscore-1.3.1.js
similarity index 100%
rename from docs/html/_static/underscore-1.3.1.js
rename to docs/1.0.1/html/_static/underscore-1.3.1.js
diff --git a/docs/html/_static/underscore.js b/docs/1.0.1/html/_static/underscore.js
similarity index 100%
rename from docs/html/_static/underscore.js
rename to docs/1.0.1/html/_static/underscore.js
diff --git a/docs/html/about.html b/docs/1.0.1/html/about.html
similarity index 100%
rename from docs/html/about.html
rename to docs/1.0.1/html/about.html
diff --git a/docs/html/api/keys/attributes.html b/docs/1.0.1/html/api/keys/attributes.html
similarity index 100%
rename from docs/html/api/keys/attributes.html
rename to docs/1.0.1/html/api/keys/attributes.html
diff --git a/docs/html/api/keys/ids.html b/docs/1.0.1/html/api/keys/ids.html
similarity index 100%
rename from docs/html/api/keys/ids.html
rename to docs/1.0.1/html/api/keys/ids.html
diff --git a/docs/html/api/keys/index.html b/docs/1.0.1/html/api/keys/index.html
similarity index 100%
rename from docs/html/api/keys/index.html
rename to docs/1.0.1/html/api/keys/index.html
diff --git a/docs/html/api/keys/lifetimes.html b/docs/1.0.1/html/api/keys/lifetimes.html
similarity index 100%
rename from docs/html/api/keys/lifetimes.html
rename to docs/1.0.1/html/api/keys/lifetimes.html
diff --git a/docs/html/api/keys/management.html b/docs/1.0.1/html/api/keys/management.html
similarity index 100%
rename from docs/html/api/keys/management.html
rename to docs/1.0.1/html/api/keys/management.html
diff --git a/docs/html/api/keys/policy.html b/docs/1.0.1/html/api/keys/policy.html
similarity index 100%
rename from docs/html/api/keys/policy.html
rename to docs/1.0.1/html/api/keys/policy.html
diff --git a/docs/html/api/keys/types.html b/docs/1.0.1/html/api/keys/types.html
similarity index 100%
rename from docs/html/api/keys/types.html
rename to docs/1.0.1/html/api/keys/types.html
diff --git a/docs/html/api/library/index.html b/docs/1.0.1/html/api/library/index.html
similarity index 100%
rename from docs/html/api/library/index.html
rename to docs/1.0.1/html/api/library/index.html
diff --git a/docs/html/api/library/library.html b/docs/1.0.1/html/api/library/library.html
similarity index 100%
rename from docs/html/api/library/library.html
rename to docs/1.0.1/html/api/library/library.html
diff --git a/docs/html/api/library/status.html b/docs/1.0.1/html/api/library/status.html
similarity index 100%
rename from docs/html/api/library/status.html
rename to docs/1.0.1/html/api/library/status.html
diff --git a/docs/html/api/ops/aead.html b/docs/1.0.1/html/api/ops/aead.html
similarity index 100%
rename from docs/html/api/ops/aead.html
rename to docs/1.0.1/html/api/ops/aead.html
diff --git a/docs/html/api/ops/algorithms.html b/docs/1.0.1/html/api/ops/algorithms.html
similarity index 100%
rename from docs/html/api/ops/algorithms.html
rename to docs/1.0.1/html/api/ops/algorithms.html
diff --git a/docs/html/api/ops/ciphers.html b/docs/1.0.1/html/api/ops/ciphers.html
similarity index 100%
rename from docs/html/api/ops/ciphers.html
rename to docs/1.0.1/html/api/ops/ciphers.html
diff --git a/docs/html/api/ops/hashes.html b/docs/1.0.1/html/api/ops/hashes.html
similarity index 100%
rename from docs/html/api/ops/hashes.html
rename to docs/1.0.1/html/api/ops/hashes.html
diff --git a/docs/html/api/ops/index.html b/docs/1.0.1/html/api/ops/index.html
similarity index 100%
rename from docs/html/api/ops/index.html
rename to docs/1.0.1/html/api/ops/index.html
diff --git a/docs/html/api/ops/ka.html b/docs/1.0.1/html/api/ops/ka.html
similarity index 100%
rename from docs/html/api/ops/ka.html
rename to docs/1.0.1/html/api/ops/ka.html
diff --git a/docs/html/api/ops/kdf.html b/docs/1.0.1/html/api/ops/kdf.html
similarity index 100%
rename from docs/html/api/ops/kdf.html
rename to docs/1.0.1/html/api/ops/kdf.html
diff --git a/docs/html/api/ops/macs.html b/docs/1.0.1/html/api/ops/macs.html
similarity index 100%
rename from docs/html/api/ops/macs.html
rename to docs/1.0.1/html/api/ops/macs.html
diff --git a/docs/html/api/ops/pke.html b/docs/1.0.1/html/api/ops/pke.html
similarity index 100%
rename from docs/html/api/ops/pke.html
rename to docs/1.0.1/html/api/ops/pke.html
diff --git a/docs/html/api/ops/rng.html b/docs/1.0.1/html/api/ops/rng.html
similarity index 100%
rename from docs/html/api/ops/rng.html
rename to docs/1.0.1/html/api/ops/rng.html
diff --git a/docs/html/api/ops/sign.html b/docs/1.0.1/html/api/ops/sign.html
similarity index 100%
rename from docs/html/api/ops/sign.html
rename to docs/1.0.1/html/api/ops/sign.html
diff --git a/docs/html/appendix/example_header.html b/docs/1.0.1/html/appendix/example_header.html
similarity index 100%
rename from docs/html/appendix/example_header.html
rename to docs/1.0.1/html/appendix/example_header.html
diff --git a/docs/html/appendix/history.html b/docs/1.0.1/html/appendix/history.html
similarity index 100%
rename from docs/html/appendix/history.html
rename to docs/1.0.1/html/appendix/history.html
diff --git a/docs/html/appendix/specdef_values.html b/docs/1.0.1/html/appendix/specdef_values.html
similarity index 100%
rename from docs/html/appendix/specdef_values.html
rename to docs/1.0.1/html/appendix/specdef_values.html
diff --git a/docs/html/genindex.html b/docs/1.0.1/html/genindex.html
similarity index 100%
rename from docs/html/genindex.html
rename to docs/1.0.1/html/genindex.html
diff --git a/docs/html/index.html b/docs/1.0.1/html/index.html
similarity index 100%
rename from docs/html/index.html
rename to docs/1.0.1/html/index.html
diff --git a/docs/html/objects.inv b/docs/1.0.1/html/objects.inv
similarity index 100%
rename from docs/html/objects.inv
rename to docs/1.0.1/html/objects.inv
Binary files differ
diff --git a/docs/html/overview/conventions.html b/docs/1.0.1/html/overview/conventions.html
similarity index 100%
rename from docs/html/overview/conventions.html
rename to docs/1.0.1/html/overview/conventions.html
diff --git a/docs/html/overview/functionality.html b/docs/1.0.1/html/overview/functionality.html
similarity index 100%
rename from docs/html/overview/functionality.html
rename to docs/1.0.1/html/overview/functionality.html
diff --git a/docs/html/overview/goals.html b/docs/1.0.1/html/overview/goals.html
similarity index 100%
rename from docs/html/overview/goals.html
rename to docs/1.0.1/html/overview/goals.html
diff --git a/docs/html/overview/implementation.html b/docs/1.0.1/html/overview/implementation.html
similarity index 100%
rename from docs/html/overview/implementation.html
rename to docs/1.0.1/html/overview/implementation.html
diff --git a/docs/html/overview/intro.html b/docs/1.0.1/html/overview/intro.html
similarity index 100%
rename from docs/html/overview/intro.html
rename to docs/1.0.1/html/overview/intro.html
diff --git a/docs/html/overview/sample-arch.html b/docs/1.0.1/html/overview/sample-arch.html
similarity index 100%
rename from docs/html/overview/sample-arch.html
rename to docs/1.0.1/html/overview/sample-arch.html
diff --git a/docs/html/overview/usage.html b/docs/1.0.1/html/overview/usage.html
similarity index 100%
rename from docs/html/overview/usage.html
rename to docs/1.0.1/html/overview/usage.html
diff --git a/docs/html/psa_c-identifiers.html b/docs/1.0.1/html/psa_c-identifiers.html
similarity index 100%
rename from docs/html/psa_c-identifiers.html
rename to docs/1.0.1/html/psa_c-identifiers.html
diff --git a/docs/html/search.html b/docs/1.0.1/html/search.html
similarity index 100%
rename from docs/html/search.html
rename to docs/1.0.1/html/search.html
diff --git a/docs/html/searchindex.js b/docs/1.0.1/html/searchindex.js
similarity index 100%
rename from docs/html/searchindex.js
rename to docs/1.0.1/html/searchindex.js