Skip to content

Latest commit

 

History

History
132 lines (85 loc) · 1.91 KB

File metadata and controls

132 lines (85 loc) · 1.91 KB

DARTH EDP Documentation

This repository contains the standalone EDP documentation site, built using MkDocs and deployed to GitHub Pages.

This site is completely independent from the main DARTH documentation.

Live site:
https://unsw-ceem.github.io/EDP-docs/


Editing & Deploying Using GitHub Codespaces

Everything can be done directly from GitHub. No local installation required.


Open the Repository in Codespaces

  1. Go to the GitHub repository.

  2. Click:

    Code → Codespaces → Create codespace on main

GitHub will:

  • Launch a cloud development environment
  • Clone the repository
  • Open VS Code in your browser

Edit Documentation Content

All documentation files live inside:

docs/
  • docs/index.md → Home page
  • Additional .md files → Additional pages

Edit any Markdown file and save.


Preview the Site (Inside Codespaces)

Run:

mkdocs serve

You will see:

Serving on http://127.0.0.1:8000/

Then:

  1. Open the Ports tab in Codespaces.
  2. Find port 8000.
  3. Click Open in Browser.

The preview auto-refreshes when you save files.


Commit Your Changes

Once satisfied with edits:

git add .
git commit -m "Update EDP documentation"
git push

This updates the source files on GitHub.


Deploy to GitHub Pages

To publish the updated site:

mkdocs gh-deploy

This:

  • Builds the static site
  • Pushes it to the gh-pages branch
  • Updates the live website

Important Rules

  • Do not manually edit the gh-pages branch.
  • Do not commit the generated site/ folder.
  • Always run mkdocs gh-deploy after content updates to publish changes.

Project Structure

EDP-docs/
  docs/
    index.md
    ...
  mkdocs.yml
  README.md

Summary Workflow

Edit → Preview → Commit → Deploy

mkdocs serve
git add .
git commit -m "message"
git push
mkdocs gh-deploy