e74bda4 Remove docs generation from general makefile, use website/Makefile

Authored and Committed by rlafuente 2 years ago
    Remove docs generation from general makefile, use website/Makefile
    
        
file modified
+0 -21
file modified
+8 -0