diff --git a/.github/workflows/generate_docs.yml b/.github/workflows/generate_docs.yml
index bc18e81..0426f58 100644
--- 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