GitHub actions to generate developers manual

deploy-docs
COVESA · Sep 12, 2023 · 1e73b3e · 1e73b3e
1 parent 912e682
commit 1e73b3e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/generate_docs.yml b/.github/workflows/generate_docs.yml
@@ -30,7 +30,8 @@ jobs:
           docs/create-toc.py < docs/generated-specification.stage1.md >docs/generated-toc.md
           ## FIXME: GENERATE TYPES ALSO
           markup docs/def-specification.stage2.m.md >docs/ifex-specification.md
-          markup docs/def-developers-manual.m.md >docs/developers-manual.md
+          markup docs/def-developers-manual.m.md >docs/generated-developers-manual-content.md
+          docs/create-toc.py < docs/generated-developers-manual-content.md >docs/developers-manual.md
           echo "Docs to deploy:"
           ls -al docs