ffd433 Fixed texi build failure (bug #927633).

Authored and Committed by twaugh 6 years ago
    Fixed texi build failure (bug #927633).
    
    Resolves: rhbz#927633
    
        
file modified
+9 -1