Skip to content

Home

Jump to bottom
Trevor Y. H. Ho edited this page May 8, 2021 · 4 revisions

Wiki for wiki.idec.io

This wiki space provides instructions for managing and editing the iDEC wiki.

Editors who are new to Git, GitHub, MkDocs, and Docker should read the page Setting up a Docker environment for wiki editing.

Editors who are adding new pages and need to make changes to the navigation menu should read the page Managing the navigation menu.

For maintainence, developers should consult MkDocs and Material for MkDocs.

Clone this wiki locally