2bd980
Update `manual' functionality: - Add manual_updateTexinfoStructure.sh - Move documentation entry definition from manual.sh to manual_getActions.sh. - Update command-line arguments interpretation inside manual_getActions.sh.