e460b0b try harder to use pregenerated docs

Authored and Committed by Rex Dieter 11 years ago
1 file changed. 13 lines added. 6 lines removed.
    try harder to use pregenerated docs
    
    The presence of doc build tools in buildroot seems to get in the way
    of using pregenerated docs, so make them conditional too.
    
        
file modified
+13 -6