Update `manual.conf' file used to build documentation manuals written
    in texinfo format:
    
        - Rename property name from `manual_section_sort' to
          `manual_section_order'.