4e2e7e9 Correctly rebuild the info documentation

Authored and Committed by tmraz 12 years ago
    Correctly rebuild the info documentation
    
        
file modified
+6 -1