ffd4331 Fixed texi build failure (bug #927633).

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