d92813e Generate PDF instead of HTML Sphinx documentation.

Authored and Committed by music 2 months ago
    Generate PDF instead of HTML Sphinx documentation.
    
    See https://bugzilla.redhat.com/show_bug.cgi?id=2006555 for discussion.
    
        
file modified
+17 -3