diff --git a/docs/README.md b/docs/README.md new file mode 100644 index 0000000..a9ffb2d --- /dev/null +++ b/docs/README.md @@ -0,0 +1 @@ +To update the documentation, make changes to the .md files in `src/man` or `src/lib` and push to main. The CI tools will automatically build the necessary html files.