3cf9dd5 Workaround makeinfo F-22 Bug 1154436.

Authored and Committed by Jan Kratochvil 9 years ago
1 file changed. 11 lines added. 1 lines removed.
    Workaround makeinfo F-22 Bug 1154436.
    
        
file modified
+11 -1