2ea1023 Reenable documentation in PDF

Authored and Committed by ppisar 6 years ago
1 file changed. 10 lines added. 3 lines removed.
    Reenable documentation in PDF
    
    This reverts commit 81d436875caa4e0e3ef8fc93d6ab439e87e51847 because
    ghostscript was fixed.
    
        
file modified
+10 -3