98df646 Build and install HTML docs instead of doc sources, mark licenses as %%license

Authored and Committed by Andrea Veri 8 years ago
    Build and install HTML docs instead of doc sources, mark licenses as %%license
    
        
file modified
+11 -5