c137289 omit explicit 'make doc'

Authored and Committed by rdieter 12 years ago
    omit explicit 'make doc'
    
        
file modified
+0 -2