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
  
        
    
Uh oh!
There was an error while loading. Please reload this page.
-
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