Valentin Gagarin 44d21f6ef9 keep generated documentation in a separate directory ...

- helps navigating the code as it highlights which files are generated
- makes it less error prone when working incrementally
  (although this should be just fixed by building out of tree)

2023-11-30 20:39:24 +01:00

..

internal-api

Factor out bits of the worker protocol to use elsewhere

2023-10-09 16:55:12 -04:00

manual

keep generated documentation in a separate directory

2023-11-30 20:39:24 +01:00