Skip to content

Latest commit

 

History

History
27 lines (18 loc) · 1.44 KB

README.md

File metadata and controls

27 lines (18 loc) · 1.44 KB

MPS Platform Docs

This website collects practical knowledge about MPS and popular MPS platforms such as MPS-extensions and mbeddr. It is written mainly in the form of a Q&A. If you have any feedback, please write a comment at the bottom of a page or open an issue in this repository.

build status license last commit

mps-platform-docs homepage

Requirements

Local execution

Run: ./gradlew mkdocsServe (rebuilds everything on change --> slow) Better: ./gradlew serveFast(rebuilds only current page --> fast, only first build is slow)

Build: ./gradlew mkdocsBuild

Publishing

./gradlew mkdocsPublish is automatically run on push (GitHub Actions). The secret key is just an SSH key from someone who has push permissions for this repository.