Paul Tsouchlos 72d5c1535d build: move documentation to docs folder ...

This makes it compatible with the just doc command

2024-09-18 13:38:22 -06:00

..

manual.typ

build: move documentation to docs folder

2024-09-18 13:38:22 -06:00