Skip to content

Commit

Permalink
fix workflow
Browse files Browse the repository at this point in the history
  • Loading branch information
Gunnar Andersson committed Sep 12, 2023
1 parent d120389 commit 5f1fa47
Showing 1 changed file with 4 additions and 3 deletions.
7 changes: 4 additions & 3 deletions .github/workflows/generate_docs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -28,10 +28,11 @@ jobs:
git status
markup docs/def-specification.stage1.m.md >docs/generated-specification.stage1.md
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/generated-developers-manual-content.md
docs/create-toc.py < docs/generated-developers-manual-content.md >docs/developers-manual.md
## FIXME: GENERATE TYPES ALSO
markup docs/def-developers-manual.stage1.m.md >docs/generated-developers-manual-content.md
docs/create-toc.py <docs/generated-developers-manual-content.md >docs/generated-developers-toc.md
markup docs/def-developers-manual.stage2.m.md >docs/developers-manual.md
echo "Docs to deploy:"
ls -al docs
Expand Down

0 comments on commit 5f1fa47

Please sign in to comment.