Update `texinfo' documentation backend inside `help' functionality:
help.sh
- Start using MANUAL_CHANGED_DIRS variable to control what
directories are changed after a documentation action.
Generally all documentation actions take place inside
MANUAL_BASEDIR_L10N, except when we rename an entire manual.
When an entire manual is rename, there is a MANUAL_BASEDIR
source location and one MANUAL_BASEDIR target location. The
MANUAL_BASEDIR source location is marked for deletion and
the MANUAL_BASEDIR target location is marked for addition.
This way, when we rename an entire manual, the
MANUAL_CHANGED_DIRS needs to be set to contain these two
locations.
- Put initial syncronization of changes back into non-option
arguments interpretation loop. This is required in order to
use MANUAL_CHANGED_DIRS as source location.
- Don't use MANUAL_TLDIR as source location to realize final
commit of changes. Use MANUAL_CHANGED_DIRS as source
location instead.
texinfo_deleteEntryManual.sh
- Set MANUAL_CHANGED_DIRS to MANUAL_BASEDIR when
MANUAL_BASEDIR_L10N is the last manual inside
MANUAL_BASEDIR.
texinfo_updateStructureSection.sh
- Reorganize MANUAL_ENTRIES definition.
texinfo_renameEntryManual.sh
- Redefine absolute path to changed directories
(MANUAL_CHANGED_DIRS).
- It is important that MANUAL_CHANGED_DIRS be redefined after
`texinfo_deleteEntryManual' invocation. Otherwise,
redefinition of MANUAL_CHANGED_DIRS inside
`texinfo_deleteEntryManual' will be the one used which might
be not the value we need.