4e2e7e Correctly rebuild the info documentation

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