b0e2251 Clean up install-info junk.

Authored and Committed by green 17 years ago
1 file changed. 9 lines added. 5 lines removed.
    Clean up install-info junk.
    
        
file modified
+9 -5