9053635 set without_manual since docbook-dtd fails in configure

Authored and Committed by petersen 10 years ago
1 file changed. 2 lines added. 0 lines removed.
    set without_manual since docbook-dtd fails in configure
    
        
file modified
+2 -0