Skip to content

Editing this Wiki

Robert Jacob edited this page Apr 8, 2016 · 19 revisions
  • Wiki pages can be edited either on the github wiki page or via a cloned repository
  • New pages created on the wiki page will not be in a subdirectory but can be moved using "git mv" in the cloned repository
  • Note that if you change the name of a file in a subdir using the wiki editor, the new file will be in the top level directory.
  • Pages should be named with dashes between words. The page name will be rendered without dashes.
  • When creating a new page, be sure to select reStructuredText from the Edit mode: dropdown
  • When creating a new page with a text editor in a clone of the repo, use the .rest file suffix
  • If adding a new page which should be at the top level, add it to the sidebar
  • To learn more about using reStructuredText and Sphinx, see the Getting Started page.
Clone this wiki locally