diff options
Diffstat (limited to 'docs/developer/SUMMARY.md')
| -rw-r--r-- | docs/developer/SUMMARY.md | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/docs/developer/SUMMARY.md b/docs/developer/SUMMARY.md new file mode 100644 index 0000000..6b0ce6a --- /dev/null +++ b/docs/developer/SUMMARY.md @@ -0,0 +1,20 @@ +# Summary + +[Introduction](introduction.md) + +- [Design guidance](design-guidance.md) + +# The server + +- [Code organization](server/code-organization.md) +- [Data models](server/data-models.md) +- [Time](server/time.md) +- [Errors](server/errors.md) +- [Testing](server/testing.md) +- [Running Pilcrow locally](server/running.md) +- [Debian packaging](server/debian-packaging.md) + +# Development tools + +- [Formatting](tools/formatting.md) +- [Linting](tools/linting.md) |