From 751e5999d8c872368b4b1918c1f8ac30a7a5bfea Mon Sep 17 00:00:00 2001 From: Lukas Rothenberger Date: Tue, 9 Jan 2024 10:56:05 +0100 Subject: [PATCH] doc(wiki)[Tools]: added blank sites --- docs/tools/Code_generator.md | 8 ++++++++ docs/tools/Config_provider.md | 8 ++++++++ docs/tools/Explorer.md | 8 ++++++++ docs/tools/Optimizer.md | 8 ++++++++ docs/tools/Patch_applicator.md | 8 ++++++++ docs/tools/Patch_generator.md | 8 ++++++++ docs/tools/tools.md | 6 +++++- 7 files changed, 53 insertions(+), 1 deletion(-) create mode 100644 docs/tools/Code_generator.md create mode 100644 docs/tools/Config_provider.md create mode 100644 docs/tools/Explorer.md create mode 100644 docs/tools/Optimizer.md create mode 100644 docs/tools/Patch_applicator.md create mode 100644 docs/tools/Patch_generator.md diff --git a/docs/tools/Code_generator.md b/docs/tools/Code_generator.md new file mode 100644 index 000000000..270f865ba --- /dev/null +++ b/docs/tools/Code_generator.md @@ -0,0 +1,8 @@ +--- +layout: default +title: Code generator +parent: Tools +nav_order: 5 +--- + +TODO \ No newline at end of file diff --git a/docs/tools/Config_provider.md b/docs/tools/Config_provider.md new file mode 100644 index 000000000..5e69dcc7a --- /dev/null +++ b/docs/tools/Config_provider.md @@ -0,0 +1,8 @@ +--- +layout: default +title: Config provider +parent: Tools +nav_order: 6 +--- + +TODO \ No newline at end of file diff --git a/docs/tools/Explorer.md b/docs/tools/Explorer.md new file mode 100644 index 000000000..07d2e1c0a --- /dev/null +++ b/docs/tools/Explorer.md @@ -0,0 +1,8 @@ +--- +layout: default +title: Explorer +parent: Tools +nav_order: 1 +--- + +TODO Explorer \ No newline at end of file diff --git a/docs/tools/Optimizer.md b/docs/tools/Optimizer.md new file mode 100644 index 000000000..a2a7d4f4d --- /dev/null +++ b/docs/tools/Optimizer.md @@ -0,0 +1,8 @@ +--- +layout: default +title: Optimizer +parent: Tools +nav_order: 4 +--- + +TODO \ No newline at end of file diff --git a/docs/tools/Patch_applicator.md b/docs/tools/Patch_applicator.md new file mode 100644 index 000000000..0e4a7f335 --- /dev/null +++ b/docs/tools/Patch_applicator.md @@ -0,0 +1,8 @@ +--- +layout: default +title: Patch applicator +parent: Tools +nav_order: 3 +--- + +TODO DiscoPoP Setup \ No newline at end of file diff --git a/docs/tools/Patch_generator.md b/docs/tools/Patch_generator.md new file mode 100644 index 000000000..873a7e10d --- /dev/null +++ b/docs/tools/Patch_generator.md @@ -0,0 +1,8 @@ +--- +layout: default +title: Patch generator +parent: Tools +nav_order: 2 +--- + +TODO \ No newline at end of file diff --git a/docs/tools/tools.md b/docs/tools/tools.md index ceffe2ba3..7aadc47f7 100644 --- a/docs/tools/tools.md +++ b/docs/tools/tools.md @@ -6,5 +6,9 @@ permalink: /Tools nav_order: 3 --- -# Organization chart +# Tools +- +- as a + +## Organization chart ![DiscoPoP framework: organization chart](organization_chart.svg) \ No newline at end of file