1cf14e3 Build docs as PDF instead of HTML due to guidelines issues

Authored and Committed by music 2 years ago
1 file changed. 55 lines added. 7 lines removed.
    Build docs as PDF instead of HTML due to guidelines issues
    
    - Move large documentation to a new -devel-doc subpackage
    
        
file modified
+55 -7