| #!/bin/bash |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| function texinfo_updateMenu { |
| |
| |
| |
| local ACTION="$1" |
| |
| |
| local MENUNODE=$(${FLAG_BACKEND}_getNode "$MANUAL_ENTRY") |
| |
| |
| |
| local MENULINE="* ${MANUAL_CHAPTER_NAME} ${MENUNODE}::" |
| |
| |
| |
| local MENU=$(cat $MANUAL_CHAPTER_DIR/chapter-menu.${MANUAL_EXTENSION} \ |
| | egrep -v '^[[:space:]]*$' | egrep -v '^@(end )?menu') |
| |
| |
| |
| case $ACTION in |
| |
| 'remove-entry' ) |
| |
| MENU=$(echo "$MENU" | egrep -v "$MENULINE") |
| ;; |
| |
| 'update-entry' | * ) |
| |
| MENU="$MENU |
| $MENULINE" |
| ;; |
| |
| esac |
| |
| |
| |
| |
| MENU=$(echo "$MENU" | egrep -v '^[[:space:]]*$') |
| |
| |
| |
| MENU="@menu |
| $MENU |
| @end menu" |
| |
| |
| MENU=$(echo "$MENU" | sed -r 's!^[[:space:]]+!!g') |
| |
| |
| |
| echo "$MENU" > $MANUAL_CHAPTER_DIR/chapter-menu.${MANUAL_EXTENSION} |
| |
| } |