Replies: 1 comment
-
|
the goal would be to duplicate what is documented in https://derwen.ai/docs/ptr/build in the makefile as a form of extra documentation |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
We need to move the execution of CLI scripts used to build the documentation into a Make file. Wise suggestion from @louisguitton: #159 (comment)
Beta Was this translation helpful? Give feedback.
All reactions