Setting up and maintaining the project website:

• Github Pages is used to manage documentation.
• The docs\ folder is used for documentation.
• To learn how to set up and maintain the project website, refer to the guide by Github on configuring a source for Github Pages.

Style:

• Refer to Google developer documentation style guide
• See also se-edu/guides Markdown coding standard

Diagrams:

• Refer to se-edu/guides Using PlantUML

Converting a document to PDF format:

• Refer to se-edu/guides Saving web documents as PDF files