The HTML files are generated by Github Actions on every Push. If you want to test the generation on your local machine:
- Install pandoc
- Execute
for generating the index.html on root.
pandoc --output=index.html --include-before-body=navigation.html --css=github-pandoc.css --standalone --title-prefix "Metafacture" index.md
https://metafacture.org/ide-extensions
Under /ide-extensions are provided the newest versions of the VS Code / Codium extensions of Flux and Fix. There is an index.md file which is converted via GitHub Actions on every push to an index.html which contains further information about installation and content of the IDE extensions. The source of the IDE extensions can be found under https://github.com/metafacture/metafacture-flux and https://github.com/metafacture/metafacture-fix. In these repositories you can find instructions to start the IDE extensions in developer mode.
There is a navigation bar on top of each page. The content of these navigation bar originates from navigation.html and will be put to the beginning of each page via Github Actions.