4d7fa67 Add release target to documentation Makefile

Authored and Committed by Athos Ribeiro 6 years ago
1 file changed. 18 lines added. 1 lines removed.
    Add release target to documentation Makefile
    
    Now, we can run `make release` to build and push new documentation
    
        
file modified
+18 -1