diff options
-rw-r--r-- | config.mk | 4 | ||||
-rwxr-xr-x | src/index-pages.sh (renamed from src/index-page.sh) | 13 |
2 files changed, 5 insertions, 12 deletions
@@ -14,9 +14,9 @@ $(DOCUMENTS_DIR): $(RESOURCES_DIR) $(MANUAL_FILE) mkdir -p $@ cp -r $(MANUAL_FILE)/* $@ -$(INDEX_FILE): $(SOURCE_DIR)/src/index-page.sh $(SCRIPTS_DIR)/gnu/index-terms.sh $(DOCUMENTS_DIR) +$(INDEX_FILE): $(SOURCE_DIR)/src/index-pages.sh $(SCRIPTS_DIR)/gnu/index-terms.sh $(DOCUMENTS_DIR) rm -f $@ - $(SOURCE_DIR)/src/index-page.sh $@ $(DOCUMENTS_DIR)/*.html + $(SOURCE_DIR)/src/index-pages.sh $@ $(DOCUMENTS_DIR)/*.html $(SCRIPTS_DIR)/gnu/index-terms.sh "Entry" $@ $(DOCUMENTS_DIR)/Concept-Index.html $(SCRIPTS_DIR)/gnu/index-terms.sh "Function" $@ $(DOCUMENTS_DIR)/Index-of-Functions-and-Macros.html $(SCRIPTS_DIR)/gnu/index-terms.sh "Variable" $@ $(DOCUMENTS_DIR)/Index-of-Variables.html diff --git a/src/index-page.sh b/src/index-pages.sh index 273c578..53c35ee 100755 --- a/src/index-page.sh +++ b/src/index-pages.sh @@ -2,21 +2,14 @@ # shellcheck source=../../../scripts/create_table.sh . "$(dirname "$0")"/../../../scripts/create_table.sh +# shellcheck source=../../../scripts/get_title.sh +. "$(dirname "$0")"/../../../scripts/get_title.sh # shellcheck source=../../../scripts/insert.sh . "$(dirname "$0")"/../../../scripts/insert.sh DB_PATH="$1" shift -get_title() { - FILE="$1" - - pup -p -f "$FILE" 'title text{}' | \ - sed 's/ (Lexical Analysis With Flex.*)//' | \ - tr -d \\n | \ - sed 's/\"/\"\"/g' -} - get_type() { PAGE_NAME="$1" @@ -34,7 +27,7 @@ insert_pages() { while [ -n "$1" ]; do unset PAGE_NAME unset PAGE_TYPE - PAGE_NAME="$(get_title "$1")" + PAGE_NAME="$(get_title "$1" | sed 's/ (Lexical Analysis With Flex.*)//')" # determine type case "$PAGE_NAME" in |