718b708 Do not build devel-docs in RHEL/ELN builds

Authored and Committed by yselkowitz a month ago
    Do not build devel-docs in RHEL/ELN builds
    
    transfig is unwanted in RHEL, and devel-docs are not important enough to
    justify the dependency.
    
        
file modified
+10 -5