2cc98cd Enable generation of getting-started tutorial PDF

Authored and Committed by Cosimo Cecchi 11 years ago
    Enable generation of getting-started tutorial PDF
    
        
file modified
+6 -2