doc(wiki)[Tools]: added blank sites

discopop-project · Jan 9, 2024 · 751e599 · 751e599
1 parent a9cbbe6
commit 751e599
Show file tree

Hide file tree

Showing 7 changed files with 53 additions and 1 deletion.
diff --git a/docs/tools/Code_generator.md b/docs/tools/Code_generator.md
@@ -0,0 +1,8 @@
+---
+layout: default
+title: Code generator
+parent: Tools
+nav_order: 5
+---
+
+TODO
diff --git a/docs/tools/Config_provider.md b/docs/tools/Config_provider.md
@@ -0,0 +1,8 @@
+---
+layout: default
+title: Config provider
+parent: Tools
+nav_order: 6
+---
+
+TODO
diff --git a/docs/tools/Explorer.md b/docs/tools/Explorer.md
@@ -0,0 +1,8 @@
+---
+layout: default
+title: Explorer
+parent: Tools
+nav_order: 1
+---
+
+TODO Explorer
diff --git a/docs/tools/Optimizer.md b/docs/tools/Optimizer.md
@@ -0,0 +1,8 @@
+---
+layout: default
+title: Optimizer
+parent: Tools
+nav_order: 4
+---
+
+TODO 
diff --git a/docs/tools/Patch_applicator.md b/docs/tools/Patch_applicator.md
@@ -0,0 +1,8 @@
+---
+layout: default
+title: Patch applicator
+parent: Tools
+nav_order: 3
+---
+
+TODO DiscoPoP Setup
diff --git a/docs/tools/Patch_generator.md b/docs/tools/Patch_generator.md
@@ -0,0 +1,8 @@
+---
+layout: default
+title: Patch generator
+parent: Tools
+nav_order: 2
+---
+
+TODO
diff --git 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)