Skip to content

Welcome to the ARC Wiki

Build/Editing

This is built with mkdocs. For full documentation visit mkdocs.org. The git repo exists on our GitHub.

Editing Existing Entries

To edit an existing entry:

  • if you haven't already, clone the git repo
  • edit the file as you desire
  • add, commit and push that file

To-Do for George

  • Make this page better, in particular:
    • how exactly to edit existing files
    • how to locally serve from a git clone, to see the edited site prior to committing back
    • how to make new pages
    • how to add comments and discussion
  • Add markdown/latex editing file (with shortcuts etc)