f8b95d Update `manual.conf' file used to build documentation manuals written

Authored and Committed by areguera 13 years ago
    Update `manual.conf' file used to build documentation manuals written
    in texinfo format:
    
        - Rename property name from `manual_section_sort' to
          `manual_section_order'.