Make medusa book paths nicer

Author: elopez

.github/workflows/deploy.yml

@@ -27,7 +27,11 @@ jobs:
         run: |
           cargo install --git https://github.com/montyly/mdBook.git mdbook || true
       - name: Build artifacts
-        run: mdbook build
+        run: |
+          mv src/program-analysis/medusa/docs/src/ tmp-medusa
+          rm -rf src/program-analysis/medusa
+          mv tmp-medusa src/program-analysis/medusa
+          mdbook build
       - name: Upload artifact
         uses: actions/upload-pages-artifact@v3
         with:

src/SUMMARY.md

@@ -106,15 +106,15 @@
       - [Exercise 6](./program-analysis/echidna/exercises/Exercise-6.md)
       - [Exercise 7](./program-analysis/echidna/exercises/Exercise-7.md)
       - [Exercise 8](./program-analysis/echidna/exercises/Exercise-8.md)
-  - [Medusa](./program-analysis/medusa/docs/src/README.md) - [Getting Started](./program-analysis/medusa/docs/src/getting_started/installation.md)
-    - [Project Configuration](./program-analysis/medusa/docs/src/project_configuration/overview.md)
+  - [Medusa](./program-analysis/medusa/README.md) - [Getting Started](./program-analysis/medusa/getting_started/installation.md)
+    - [Project Configuration](./program-analysis/medusa/project_configuration/overview.md)
       the vast number of configuration options that can be set up based on your project needs.
-    - [Command Line Interface](./program-analysis/medusa/docs/src/cli/overview.md)
-    - [Writing Tests](./program-analysis/medusa/docs/src/testing/overview.md)
-    - [API (WIP)](./program-analysis/medusa/docs/src/api/api_overview.md)
-    - [Cheatcodes](./program-analysis/medusa/docs/src/cheatcodes/cheatcodes_overview.md)
-    - [Console Logging](./program-analysis/medusa/docs/src/console_logging.md)
-    - [FAQ](./program-analysis/medusa/docs/src/faq.md)
+    - [Command Line Interface](./program-analysis/medusa/cli/overview.md)
+    - [Writing Tests](./program-analysis/medusa/testing/overview.md)
+    - [API (WIP)](./program-analysis/medusa/api/api_overview.md)
+    - [Cheatcodes](./program-analysis/medusa/cheatcodes/cheatcodes_overview.md)
+    - [Console Logging](./program-analysis/medusa/console_logging.md)
+    - [FAQ](./program-analysis/medusa/faq.md)
   - [Manticore](./program-analysis/manticore/README.md)
     - [Introduction to symbolic execution](./program-analysis/manticore/symbolic-execution-introduction.md):
     - [Running under Manticore](./program-analysis/manticore/running-under-manticore.md)