Instead of having separate repos for each project, we should add all documentation in the doc/ path into the hydrus repo. This way we build documentation directly with hydrus.
We should also implement the same things for other repos that need documentation.
Instead of having separate repos for each project, we should add all documentation in the
doc/path into the hydrus repo. This way we build documentation directly with hydrus.We should also implement the same things for other repos that need documentation.