From 617c4bf5004a1a258bd32a212f52252b90800d97 Mon Sep 17 00:00:00 2001 From: Vaibhav Sharma Date: Tue, 16 Jan 2018 14:33:21 -0600 Subject: [PATCH] Renaming /doc to /docs for use with GitHub Pages --- {doc => docs}/devel/attributes.md | 0 {doc => docs}/devel/bytecode_factory.md | 0 {doc => docs}/devel/choicegenerator.md | 0 {doc => docs}/devel/coding_conventions.md | 0 {doc => docs}/devel/create_project.md | 0 {doc => docs}/devel/design.md | 0 {doc => docs}/devel/eclipse_plugin_update.md | 0 {doc => docs}/devel/embedded.md | 0 {doc => docs}/devel/index.md | 0 {doc => docs}/devel/jpf_tests.md | 0 {doc => docs}/devel/listener.md | 0 {doc => docs}/devel/logging.md | 0 {doc => docs}/devel/mercurial.md | 0 {doc => docs}/devel/mji.md | 0 {doc => docs}/devel/mji/mangling.md | 0 {doc => docs}/devel/modules.md | 0 {doc => docs}/devel/partial_order_reduction.md | 0 {doc => docs}/devel/report.md | 0 {doc => docs}/graphics/DFSListener.svg | 0 {doc => docs}/graphics/app-types.svg | 0 {doc => docs}/graphics/attributes.svg | 0 {doc => docs}/graphics/bc-factory.svg | 0 {doc => docs}/graphics/cg-impl.svg | 0 {doc => docs}/graphics/cg-motivation.svg | 0 {doc => docs}/graphics/cg-ontology.svg | 0 {doc => docs}/graphics/cg-sequence.svg | 0 {doc => docs}/graphics/choicegen-example.svg | 0 {doc => docs}/graphics/genpeer.svg | 0 {doc => docs}/graphics/interleavings.svg | 0 {doc => docs}/graphics/jpf-abstractions.svg | 0 {doc => docs}/graphics/jpf-basic.svg | 0 {doc => docs}/graphics/jpf-intro-new.svg | 0 {doc => docs}/graphics/jpf-layers.svg | 0 {doc => docs}/graphics/jpf-project.svg | 0 {doc => docs}/graphics/listener-overview.svg | 0 {doc => docs}/graphics/listeners.svg | 0 {doc => docs}/graphics/mji-call.svg | 0 {doc => docs}/graphics/mji-functions.svg | 0 {doc => docs}/graphics/mji-mangling.svg | 0 {doc => docs}/graphics/new-testing.svg | 0 {doc => docs}/graphics/por-mark.svg | 0 {doc => docs}/graphics/por-scheduling-relevance.svg | 0 {doc => docs}/graphics/properties.svg | 0 {doc => docs}/graphics/report.svg | 0 {doc => docs}/graphics/states-mc.svg | 0 {doc => docs}/graphics/states-testing.svg | 0 {doc => docs}/graphics/sw-model-checking-2.svg | 0 {doc => docs}/graphics/sw-model-checking.svg | 0 {doc => docs}/index.md | 0 {doc => docs}/install/build.md | 0 {doc => docs}/install/eclipse-jpf.md | 0 {doc => docs}/install/eclipse-plugin.md | 0 {doc => docs}/install/eclipse-plugin/update.md | 0 {doc => docs}/install/eclipse-plugin/update/features.md | 0 {doc => docs}/install/eclipse-plugin/update/plugins.md | 0 {doc => docs}/install/index.md | 0 {doc => docs}/install/netbeans-jpf.md | 0 {doc => docs}/install/netbeans-plugin.md | 0 {doc => docs}/install/repo_shell.md | 0 {doc => docs}/install/repositories.md | 0 {doc => docs}/install/requirements.md | 0 {doc => docs}/install/site-properties.md | 0 {doc => docs}/install/snapshot.md | 0 {doc => docs}/intro/classification.md | 0 {doc => docs}/intro/index.md | 0 {doc => docs}/intro/race_example.md | 0 {doc => docs}/intro/random_example.md | 0 {doc => docs}/intro/testing_vs_model_checking.md | 0 {doc => docs}/intro/what_is_jpf.md | 0 {doc => docs}/jpf-core/AssertionProperty.md | 0 {doc => docs}/jpf-core/ErrorTraceGenerator.md | 0 {doc => docs}/jpf-core/ExceptionInjector.md | 0 {doc => docs}/jpf-core/IdleFilter.md | 0 {doc => docs}/jpf-core/index.md | 0 {doc => docs}/papers/chicago-author-date.csl | 0 {doc => docs}/papers/index.md | 0 {doc => docs}/papers/references.bib | 0 {doc => docs}/user/api.md | 0 {doc => docs}/user/application_types.md | 0 {doc => docs}/user/components.md | 0 {doc => docs}/user/config.md | 0 {doc => docs}/user/config/random.md | 0 {doc => docs}/user/index.md | 0 {doc => docs}/user/output.md | 0 {doc => docs}/user/run.md | 0 {doc => docs}/user/run_eclipse.md | 0 {doc => docs}/user/run_eclipse_plugin.md | 0 {doc => docs}/user/run_nb.md | 0 {doc => docs}/user/run_nb_plugin.md | 0 89 files changed, 0 insertions(+), 0 deletions(-) rename {doc => docs}/devel/attributes.md (100%) rename {doc => docs}/devel/bytecode_factory.md (100%) rename {doc => docs}/devel/choicegenerator.md (100%) rename {doc => docs}/devel/coding_conventions.md (100%) rename {doc => docs}/devel/create_project.md (100%) rename {doc => docs}/devel/design.md (100%) rename {doc => docs}/devel/eclipse_plugin_update.md (100%) rename {doc => docs}/devel/embedded.md (100%) rename {doc => docs}/devel/index.md (100%) rename {doc => docs}/devel/jpf_tests.md (100%) rename {doc => docs}/devel/listener.md (100%) rename {doc => docs}/devel/logging.md (100%) rename {doc => docs}/devel/mercurial.md (100%) rename {doc => docs}/devel/mji.md (100%) rename {doc => docs}/devel/mji/mangling.md (100%) rename {doc => docs}/devel/modules.md (100%) rename {doc => docs}/devel/partial_order_reduction.md (100%) rename {doc => docs}/devel/report.md (100%) rename {doc => docs}/graphics/DFSListener.svg (100%) rename {doc => docs}/graphics/app-types.svg (100%) rename {doc => docs}/graphics/attributes.svg (100%) rename {doc => docs}/graphics/bc-factory.svg (100%) rename {doc => docs}/graphics/cg-impl.svg (100%) rename {doc => docs}/graphics/cg-motivation.svg (100%) rename {doc => docs}/graphics/cg-ontology.svg (100%) rename {doc => docs}/graphics/cg-sequence.svg (100%) rename {doc => docs}/graphics/choicegen-example.svg (100%) rename {doc => docs}/graphics/genpeer.svg (100%) rename {doc => docs}/graphics/interleavings.svg (100%) rename {doc => docs}/graphics/jpf-abstractions.svg (100%) rename {doc => docs}/graphics/jpf-basic.svg (100%) rename {doc => docs}/graphics/jpf-intro-new.svg (100%) rename {doc => docs}/graphics/jpf-layers.svg (100%) rename {doc => docs}/graphics/jpf-project.svg (100%) rename {doc => docs}/graphics/listener-overview.svg (100%) rename {doc => docs}/graphics/listeners.svg (100%) rename {doc => docs}/graphics/mji-call.svg (100%) rename {doc => docs}/graphics/mji-functions.svg (100%) rename {doc => docs}/graphics/mji-mangling.svg (100%) rename {doc => docs}/graphics/new-testing.svg (100%) rename {doc => docs}/graphics/por-mark.svg (100%) rename {doc => docs}/graphics/por-scheduling-relevance.svg (100%) rename {doc => docs}/graphics/properties.svg (100%) rename {doc => docs}/graphics/report.svg (100%) rename {doc => docs}/graphics/states-mc.svg (100%) rename {doc => docs}/graphics/states-testing.svg (100%) rename {doc => docs}/graphics/sw-model-checking-2.svg (100%) rename {doc => docs}/graphics/sw-model-checking.svg (100%) rename {doc => docs}/index.md (100%) rename {doc => docs}/install/build.md (100%) rename {doc => docs}/install/eclipse-jpf.md (100%) rename {doc => docs}/install/eclipse-plugin.md (100%) rename {doc => docs}/install/eclipse-plugin/update.md (100%) rename {doc => docs}/install/eclipse-plugin/update/features.md (100%) rename {doc => docs}/install/eclipse-plugin/update/plugins.md (100%) rename {doc => docs}/install/index.md (100%) rename {doc => docs}/install/netbeans-jpf.md (100%) rename {doc => docs}/install/netbeans-plugin.md (100%) rename {doc => docs}/install/repo_shell.md (100%) rename {doc => docs}/install/repositories.md (100%) rename {doc => docs}/install/requirements.md (100%) rename {doc => docs}/install/site-properties.md (100%) rename {doc => docs}/install/snapshot.md (100%) rename {doc => docs}/intro/classification.md (100%) rename {doc => docs}/intro/index.md (100%) rename {doc => docs}/intro/race_example.md (100%) rename {doc => docs}/intro/random_example.md (100%) rename {doc => docs}/intro/testing_vs_model_checking.md (100%) rename {doc => docs}/intro/what_is_jpf.md (100%) rename {doc => docs}/jpf-core/AssertionProperty.md (100%) rename {doc => docs}/jpf-core/ErrorTraceGenerator.md (100%) rename {doc => docs}/jpf-core/ExceptionInjector.md (100%) rename {doc => docs}/jpf-core/IdleFilter.md (100%) rename {doc => docs}/jpf-core/index.md (100%) rename {doc => docs}/papers/chicago-author-date.csl (100%) rename {doc => docs}/papers/index.md (100%) rename {doc => docs}/papers/references.bib (100%) rename {doc => docs}/user/api.md (100%) rename {doc => docs}/user/application_types.md (100%) rename {doc => docs}/user/components.md (100%) rename {doc => docs}/user/config.md (100%) rename {doc => docs}/user/config/random.md (100%) rename {doc => docs}/user/index.md (100%) rename {doc => docs}/user/output.md (100%) rename {doc => docs}/user/run.md (100%) rename {doc => docs}/user/run_eclipse.md (100%) rename {doc => docs}/user/run_eclipse_plugin.md (100%) rename {doc => docs}/user/run_nb.md (100%) rename {doc => docs}/user/run_nb_plugin.md (100%) diff --git a/doc/devel/attributes.md b/docs/devel/attributes.md similarity index 100% rename from doc/devel/attributes.md rename to docs/devel/attributes.md diff --git a/doc/devel/bytecode_factory.md b/docs/devel/bytecode_factory.md similarity index 100% rename from doc/devel/bytecode_factory.md rename to docs/devel/bytecode_factory.md diff --git a/doc/devel/choicegenerator.md b/docs/devel/choicegenerator.md similarity index 100% rename from doc/devel/choicegenerator.md rename to docs/devel/choicegenerator.md diff --git a/doc/devel/coding_conventions.md b/docs/devel/coding_conventions.md similarity index 100% rename from doc/devel/coding_conventions.md rename to docs/devel/coding_conventions.md diff --git a/doc/devel/create_project.md b/docs/devel/create_project.md similarity index 100% rename from doc/devel/create_project.md rename to docs/devel/create_project.md diff --git a/doc/devel/design.md b/docs/devel/design.md similarity index 100% rename from doc/devel/design.md rename to docs/devel/design.md diff --git a/doc/devel/eclipse_plugin_update.md b/docs/devel/eclipse_plugin_update.md similarity index 100% rename from doc/devel/eclipse_plugin_update.md rename to docs/devel/eclipse_plugin_update.md diff --git a/doc/devel/embedded.md b/docs/devel/embedded.md similarity index 100% rename from doc/devel/embedded.md rename to docs/devel/embedded.md diff --git a/doc/devel/index.md b/docs/devel/index.md similarity index 100% rename from doc/devel/index.md rename to docs/devel/index.md diff --git a/doc/devel/jpf_tests.md b/docs/devel/jpf_tests.md similarity index 100% rename from doc/devel/jpf_tests.md rename to docs/devel/jpf_tests.md diff --git a/doc/devel/listener.md b/docs/devel/listener.md similarity index 100% rename from doc/devel/listener.md rename to docs/devel/listener.md diff --git a/doc/devel/logging.md b/docs/devel/logging.md similarity index 100% rename from doc/devel/logging.md rename to docs/devel/logging.md diff --git a/doc/devel/mercurial.md b/docs/devel/mercurial.md similarity index 100% rename from doc/devel/mercurial.md rename to docs/devel/mercurial.md diff --git a/doc/devel/mji.md b/docs/devel/mji.md similarity index 100% rename from doc/devel/mji.md rename to docs/devel/mji.md diff --git a/doc/devel/mji/mangling.md b/docs/devel/mji/mangling.md similarity index 100% rename from doc/devel/mji/mangling.md rename to docs/devel/mji/mangling.md diff --git a/doc/devel/modules.md b/docs/devel/modules.md similarity index 100% rename from doc/devel/modules.md rename to docs/devel/modules.md diff --git a/doc/devel/partial_order_reduction.md b/docs/devel/partial_order_reduction.md similarity index 100% rename from doc/devel/partial_order_reduction.md rename to docs/devel/partial_order_reduction.md diff --git a/doc/devel/report.md b/docs/devel/report.md similarity index 100% rename from doc/devel/report.md rename to docs/devel/report.md diff --git a/doc/graphics/DFSListener.svg b/docs/graphics/DFSListener.svg similarity index 100% rename from doc/graphics/DFSListener.svg rename to docs/graphics/DFSListener.svg diff --git a/doc/graphics/app-types.svg b/docs/graphics/app-types.svg similarity index 100% rename from doc/graphics/app-types.svg rename to docs/graphics/app-types.svg diff --git a/doc/graphics/attributes.svg b/docs/graphics/attributes.svg similarity index 100% rename from doc/graphics/attributes.svg rename to docs/graphics/attributes.svg diff --git a/doc/graphics/bc-factory.svg b/docs/graphics/bc-factory.svg similarity index 100% rename from doc/graphics/bc-factory.svg rename to docs/graphics/bc-factory.svg diff --git a/doc/graphics/cg-impl.svg b/docs/graphics/cg-impl.svg similarity index 100% rename from doc/graphics/cg-impl.svg rename to docs/graphics/cg-impl.svg diff --git a/doc/graphics/cg-motivation.svg b/docs/graphics/cg-motivation.svg similarity index 100% rename from doc/graphics/cg-motivation.svg rename to docs/graphics/cg-motivation.svg diff --git a/doc/graphics/cg-ontology.svg b/docs/graphics/cg-ontology.svg similarity index 100% rename from doc/graphics/cg-ontology.svg rename to docs/graphics/cg-ontology.svg diff --git a/doc/graphics/cg-sequence.svg b/docs/graphics/cg-sequence.svg similarity index 100% rename from doc/graphics/cg-sequence.svg rename to docs/graphics/cg-sequence.svg diff --git a/doc/graphics/choicegen-example.svg b/docs/graphics/choicegen-example.svg similarity index 100% rename from doc/graphics/choicegen-example.svg rename to docs/graphics/choicegen-example.svg diff --git a/doc/graphics/genpeer.svg b/docs/graphics/genpeer.svg similarity index 100% rename from doc/graphics/genpeer.svg rename to docs/graphics/genpeer.svg diff --git a/doc/graphics/interleavings.svg b/docs/graphics/interleavings.svg similarity index 100% rename from doc/graphics/interleavings.svg rename to docs/graphics/interleavings.svg diff --git a/doc/graphics/jpf-abstractions.svg b/docs/graphics/jpf-abstractions.svg similarity index 100% rename from doc/graphics/jpf-abstractions.svg rename to docs/graphics/jpf-abstractions.svg diff --git a/doc/graphics/jpf-basic.svg b/docs/graphics/jpf-basic.svg similarity index 100% rename from doc/graphics/jpf-basic.svg rename to docs/graphics/jpf-basic.svg diff --git a/doc/graphics/jpf-intro-new.svg b/docs/graphics/jpf-intro-new.svg similarity index 100% rename from doc/graphics/jpf-intro-new.svg rename to docs/graphics/jpf-intro-new.svg diff --git a/doc/graphics/jpf-layers.svg b/docs/graphics/jpf-layers.svg similarity index 100% rename from doc/graphics/jpf-layers.svg rename to docs/graphics/jpf-layers.svg diff --git a/doc/graphics/jpf-project.svg b/docs/graphics/jpf-project.svg similarity index 100% rename from doc/graphics/jpf-project.svg rename to docs/graphics/jpf-project.svg diff --git a/doc/graphics/listener-overview.svg b/docs/graphics/listener-overview.svg similarity index 100% rename from doc/graphics/listener-overview.svg rename to docs/graphics/listener-overview.svg diff --git a/doc/graphics/listeners.svg b/docs/graphics/listeners.svg similarity index 100% rename from doc/graphics/listeners.svg rename to docs/graphics/listeners.svg diff --git a/doc/graphics/mji-call.svg b/docs/graphics/mji-call.svg similarity index 100% rename from doc/graphics/mji-call.svg rename to docs/graphics/mji-call.svg diff --git a/doc/graphics/mji-functions.svg b/docs/graphics/mji-functions.svg similarity index 100% rename from doc/graphics/mji-functions.svg rename to docs/graphics/mji-functions.svg diff --git a/doc/graphics/mji-mangling.svg b/docs/graphics/mji-mangling.svg similarity index 100% rename from doc/graphics/mji-mangling.svg rename to docs/graphics/mji-mangling.svg diff --git a/doc/graphics/new-testing.svg b/docs/graphics/new-testing.svg similarity index 100% rename from doc/graphics/new-testing.svg rename to docs/graphics/new-testing.svg diff --git a/doc/graphics/por-mark.svg b/docs/graphics/por-mark.svg similarity index 100% rename from doc/graphics/por-mark.svg rename to docs/graphics/por-mark.svg diff --git a/doc/graphics/por-scheduling-relevance.svg b/docs/graphics/por-scheduling-relevance.svg similarity index 100% rename from doc/graphics/por-scheduling-relevance.svg rename to docs/graphics/por-scheduling-relevance.svg diff --git a/doc/graphics/properties.svg b/docs/graphics/properties.svg similarity index 100% rename from doc/graphics/properties.svg rename to docs/graphics/properties.svg diff --git a/doc/graphics/report.svg b/docs/graphics/report.svg similarity index 100% rename from doc/graphics/report.svg rename to docs/graphics/report.svg diff --git a/doc/graphics/states-mc.svg b/docs/graphics/states-mc.svg similarity index 100% rename from doc/graphics/states-mc.svg rename to docs/graphics/states-mc.svg diff --git a/doc/graphics/states-testing.svg b/docs/graphics/states-testing.svg similarity index 100% rename from doc/graphics/states-testing.svg rename to docs/graphics/states-testing.svg diff --git a/doc/graphics/sw-model-checking-2.svg b/docs/graphics/sw-model-checking-2.svg similarity index 100% rename from doc/graphics/sw-model-checking-2.svg rename to docs/graphics/sw-model-checking-2.svg diff --git a/doc/graphics/sw-model-checking.svg b/docs/graphics/sw-model-checking.svg similarity index 100% rename from doc/graphics/sw-model-checking.svg rename to docs/graphics/sw-model-checking.svg diff --git a/doc/index.md b/docs/index.md similarity index 100% rename from doc/index.md rename to docs/index.md diff --git a/doc/install/build.md b/docs/install/build.md similarity index 100% rename from doc/install/build.md rename to docs/install/build.md diff --git a/doc/install/eclipse-jpf.md b/docs/install/eclipse-jpf.md similarity index 100% rename from doc/install/eclipse-jpf.md rename to docs/install/eclipse-jpf.md diff --git a/doc/install/eclipse-plugin.md b/docs/install/eclipse-plugin.md similarity index 100% rename from doc/install/eclipse-plugin.md rename to docs/install/eclipse-plugin.md diff --git a/doc/install/eclipse-plugin/update.md b/docs/install/eclipse-plugin/update.md similarity index 100% rename from doc/install/eclipse-plugin/update.md rename to docs/install/eclipse-plugin/update.md diff --git a/doc/install/eclipse-plugin/update/features.md b/docs/install/eclipse-plugin/update/features.md similarity index 100% rename from doc/install/eclipse-plugin/update/features.md rename to docs/install/eclipse-plugin/update/features.md diff --git a/doc/install/eclipse-plugin/update/plugins.md b/docs/install/eclipse-plugin/update/plugins.md similarity index 100% rename from doc/install/eclipse-plugin/update/plugins.md rename to docs/install/eclipse-plugin/update/plugins.md diff --git a/doc/install/index.md b/docs/install/index.md similarity index 100% rename from doc/install/index.md rename to docs/install/index.md diff --git a/doc/install/netbeans-jpf.md b/docs/install/netbeans-jpf.md similarity index 100% rename from doc/install/netbeans-jpf.md rename to docs/install/netbeans-jpf.md diff --git a/doc/install/netbeans-plugin.md b/docs/install/netbeans-plugin.md similarity index 100% rename from doc/install/netbeans-plugin.md rename to docs/install/netbeans-plugin.md diff --git a/doc/install/repo_shell.md b/docs/install/repo_shell.md similarity index 100% rename from doc/install/repo_shell.md rename to docs/install/repo_shell.md diff --git a/doc/install/repositories.md b/docs/install/repositories.md similarity index 100% rename from doc/install/repositories.md rename to docs/install/repositories.md diff --git a/doc/install/requirements.md b/docs/install/requirements.md similarity index 100% rename from doc/install/requirements.md rename to docs/install/requirements.md diff --git a/doc/install/site-properties.md b/docs/install/site-properties.md similarity index 100% rename from doc/install/site-properties.md rename to docs/install/site-properties.md diff --git a/doc/install/snapshot.md b/docs/install/snapshot.md similarity index 100% rename from doc/install/snapshot.md rename to docs/install/snapshot.md diff --git a/doc/intro/classification.md b/docs/intro/classification.md similarity index 100% rename from doc/intro/classification.md rename to docs/intro/classification.md diff --git a/doc/intro/index.md b/docs/intro/index.md similarity index 100% rename from doc/intro/index.md rename to docs/intro/index.md diff --git a/doc/intro/race_example.md b/docs/intro/race_example.md similarity index 100% rename from doc/intro/race_example.md rename to docs/intro/race_example.md diff --git a/doc/intro/random_example.md b/docs/intro/random_example.md similarity index 100% rename from doc/intro/random_example.md rename to docs/intro/random_example.md diff --git a/doc/intro/testing_vs_model_checking.md b/docs/intro/testing_vs_model_checking.md similarity index 100% rename from doc/intro/testing_vs_model_checking.md rename to docs/intro/testing_vs_model_checking.md diff --git a/doc/intro/what_is_jpf.md b/docs/intro/what_is_jpf.md similarity index 100% rename from doc/intro/what_is_jpf.md rename to docs/intro/what_is_jpf.md diff --git a/doc/jpf-core/AssertionProperty.md b/docs/jpf-core/AssertionProperty.md similarity index 100% rename from doc/jpf-core/AssertionProperty.md rename to docs/jpf-core/AssertionProperty.md diff --git a/doc/jpf-core/ErrorTraceGenerator.md b/docs/jpf-core/ErrorTraceGenerator.md similarity index 100% rename from doc/jpf-core/ErrorTraceGenerator.md rename to docs/jpf-core/ErrorTraceGenerator.md diff --git a/doc/jpf-core/ExceptionInjector.md b/docs/jpf-core/ExceptionInjector.md similarity index 100% rename from doc/jpf-core/ExceptionInjector.md rename to docs/jpf-core/ExceptionInjector.md diff --git a/doc/jpf-core/IdleFilter.md b/docs/jpf-core/IdleFilter.md similarity index 100% rename from doc/jpf-core/IdleFilter.md rename to docs/jpf-core/IdleFilter.md diff --git a/doc/jpf-core/index.md b/docs/jpf-core/index.md similarity index 100% rename from doc/jpf-core/index.md rename to docs/jpf-core/index.md diff --git a/doc/papers/chicago-author-date.csl b/docs/papers/chicago-author-date.csl similarity index 100% rename from doc/papers/chicago-author-date.csl rename to docs/papers/chicago-author-date.csl diff --git a/doc/papers/index.md b/docs/papers/index.md similarity index 100% rename from doc/papers/index.md rename to docs/papers/index.md diff --git a/doc/papers/references.bib b/docs/papers/references.bib similarity index 100% rename from doc/papers/references.bib rename to docs/papers/references.bib diff --git a/doc/user/api.md b/docs/user/api.md similarity index 100% rename from doc/user/api.md rename to docs/user/api.md diff --git a/doc/user/application_types.md b/docs/user/application_types.md similarity index 100% rename from doc/user/application_types.md rename to docs/user/application_types.md diff --git a/doc/user/components.md b/docs/user/components.md similarity index 100% rename from doc/user/components.md rename to docs/user/components.md diff --git a/doc/user/config.md b/docs/user/config.md similarity index 100% rename from doc/user/config.md rename to docs/user/config.md diff --git a/doc/user/config/random.md b/docs/user/config/random.md similarity index 100% rename from doc/user/config/random.md rename to docs/user/config/random.md diff --git a/doc/user/index.md b/docs/user/index.md similarity index 100% rename from doc/user/index.md rename to docs/user/index.md diff --git a/doc/user/output.md b/docs/user/output.md similarity index 100% rename from doc/user/output.md rename to docs/user/output.md diff --git a/doc/user/run.md b/docs/user/run.md similarity index 100% rename from doc/user/run.md rename to docs/user/run.md diff --git a/doc/user/run_eclipse.md b/docs/user/run_eclipse.md similarity index 100% rename from doc/user/run_eclipse.md rename to docs/user/run_eclipse.md diff --git a/doc/user/run_eclipse_plugin.md b/docs/user/run_eclipse_plugin.md similarity index 100% rename from doc/user/run_eclipse_plugin.md rename to docs/user/run_eclipse_plugin.md diff --git a/doc/user/run_nb.md b/docs/user/run_nb.md similarity index 100% rename from doc/user/run_nb.md rename to docs/user/run_nb.md diff --git a/doc/user/run_nb_plugin.md b/docs/user/run_nb_plugin.md similarity index 100% rename from doc/user/run_nb_plugin.md rename to docs/user/run_nb_plugin.md -- 2.34.1