66b6ae Update `help' functionality:

Authored and Committed by areguera 13 years ago
    Update `help' functionality:
    
        -  Change file extension from `.texi' to ${FLAG_BACKEND} variable,
           inside Texinfo documentation backend.