Refactor the README into the Developer Guide

apache / petri

Apache Petri

https://petri.apache.org/

Apache License 2.0

3 stars 5 forks source link

Refactor the README into the Developer Guide #22

Closed jbampton closed 3 years ago

jbampton commented 3 years ago

Add HTML title tag and indent HTML

dave2wave commented 3 years ago

I'm beginning to think that the developer tooling in the README.md should be moved to a new file called DEVELOPER.md and then linked to from README.md.

Likely everything from Javascript down. This means that text can be added about each tool.

Meanwhile keeping the README.md focused on the kinds of things someone just wanting to make an edit will need.

gstein commented 3 years ago

Note that we use GitHub-Flavored Markdown for the Petri site. ... There should be a link to that, rather than just the "base" Markdown.