From ae168236bbc1d5be63f607e872216a1b6d6ac3e5 Mon Sep 17 00:00:00 2001 From: Louie S Date: Sun, 28 May 2023 17:52:08 -0700 Subject: GNU Automake (now with more indexing) --- .gitignore | 2 ++ Makefile | 15 +++++++++------ README | 17 +++++++++++++++++ README.md | 33 --------------------------------- README.template | 17 ----------------- src/Info.plist | 6 +++--- src/icon.png | Bin 0 -> 1617 bytes src/index-page.sh | 34 ++++++++++++++++++++++++++++++++++ src/index-terms.sh | 33 +++++++++++++++++++++++++++++++++ src/index.sh | 34 ---------------------------------- src/lib/insert | 2 +- 11 files changed, 99 insertions(+), 94 deletions(-) create mode 100644 .gitignore create mode 100644 README delete mode 100644 README.md delete mode 100644 README.template create mode 100644 src/icon.png create mode 100755 src/index-page.sh create mode 100755 src/index-terms.sh delete mode 100755 src/index.sh diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..0f203a5 --- /dev/null +++ b/.gitignore @@ -0,0 +1,2 @@ +tmp +GNU_Automake.docset diff --git a/Makefile b/Makefile index 9339745..3e45c93 100644 --- a/Makefile +++ b/Makefile @@ -1,4 +1,4 @@ -#DOCSET_NAME = ... +DOCSET_NAME = GNU_Automake DOCSET_DIR = $(DOCSET_NAME).docset CONTENTS_DIR = $(DOCSET_DIR)/Contents @@ -10,10 +10,10 @@ INDEX_FILE = $(RESOURCES_DIR)/docSet.dsidx ICON_FILE = $(DOCSET_DIR)/icon.png ARCHIVE_FILE = $(DOCSET_NAME).tgz -#SRC_ICON = src/icon.png +SRC_ICON = src/icon.png -#MANUAL_URL = ... -#MANUAL_FILE = tmp/... +MANUAL_URL = https://www.gnu.org/software/automake/manual/automake.html_node.tar.gz +MANUAL_FILE = tmp/automake.html_node.tar.gz ERROR_DOCSET_NAME = $(error DOCSET_NAME is unset) WARNING_MANUAL_URL = $(warning MANUAL_URL is unset) @@ -71,9 +71,12 @@ $(DOCUMENTS_DIR): $(RESOURCES_DIR) $(MANUAL_FILE) $(INFO_PLIST_FILE): src/Info.plist $(CONTENTS_DIR) cp src/Info.plist $@ -$(INDEX_FILE): src/index.sh $(DOCUMENTS_DIR) +$(INDEX_FILE): src/index-page.sh src/index-terms.sh $(DOCUMENTS_DIR) rm -f $@ - src/index.sh $@ $(DOCUMENTS_DIR)/*.html + src/index-page.sh $@ $(DOCUMENTS_DIR)/*.html + src/index-terms.sh "Macro" $@ $(DOCUMENTS_DIR)/Macro-Index.html + src/index-terms.sh "Variable" $@ $(DOCUMENTS_DIR)/Variable-Index.html + src/index-terms.sh "Entry" $@ $(DOCUMENTS_DIR)/General-Index.html $(ICON_FILE): src/icon.png $(DOCSET_DIR) cp $(SRC_ICON) $@ diff --git a/README b/README new file mode 100644 index 0000000..7f7ca1c --- /dev/null +++ b/README @@ -0,0 +1,17 @@ +Here is a script and a Makefile for generating a GNU Automake docset for Dash. The script is based on the dash-docset-generation-template + +- GNU Automake: https://www.gnu.org/software/automake/ +- Dash: https://kapeli.com/dash +- dash-docset-generation-template: https://github.com/lshprung/dash-docset-generation-template + +To generate a docset from the latest edition of the GNU Automake Manual, simply +execute `make` from the same directory as this README file. The latest edition +will be downloaded from www.gnu.org and packaged appropriately. + +Requirements: + +- any POSIX-compliant shell +- curl - https://curl.se/ +- make - https://www.gnu.org/software/make/ +- pup - https://tracker.debian.org/pkg/pup +- sqlite3 - https://www.sqlite.org/index.html diff --git a/README.md b/README.md deleted file mode 100644 index 7fb5e46..0000000 --- a/README.md +++ /dev/null @@ -1,33 +0,0 @@ -# Dash Docset Template - -This is a repository providing a template to package a Dash docset from HTML source documentation. Files that need to be manually configured are listed below. Additional fine tuning is also recommended, depending on the quirks of the documentation being packaged. An example docset packaging script for GNU Make using this template can be seen [here](https://github.com/lshprung/gnu-make-dash-docset) - -### `README.template` - -This file will provide a README for the packaging script. Replace ``, ``, and `` with appropriate values. - -### `Makefile` - -This file will build the docset. - -- `DOCSET_NAME` must be set -- `MANUAL_FILE` must be set - - If the script should download documentation from the internet, `MANUAL_URL` must also be set. If not, ensure a `.tgz` archive of the HTML documentation exists at `tmp/MANUAL.tgz` (where MANUAL is the name of the archive) - -### `src/icon.png` - -If you want to associate an icon with the docset, it should be saved to `src/icon.png`. - -### `src/index.sh` - -This is the main script that builds the docset index. This script does not require any manual modifications, but you will probably want to make additions/changes to improve the quality of your docset and accomodate any quirks. - -### `src/Info.plist` - -This file contains metadata for the docset. Replace `` with appropriate values. It may be useful to refer to the `Info.plist` file of an existing docset for reference. - ---- - -### Credits - -Created by [lshprung](https://github.com/lshprung), and originally based on [benzado](https://github.com/benzado)'s [gnu-make-dash-docset](https://github.com/benzado/gnu-make-dash-docset). diff --git a/README.template b/README.template deleted file mode 100644 index 6fa12d5..0000000 --- a/README.template +++ /dev/null @@ -1,17 +0,0 @@ -Here is a script and a Makefile for generating a docset for Dash. The script is based on the dash-docset-generation-template - -- : -- Dash: https://kapeli.com/dash -- dash-docset-generation-template: https://github.com/lshprung/dash-docset-generation-template - -To generate a docset from the latest edition of the Manual, simply -execute `make` from the same directory as this README file. The latest edition -will be downloaded from and packaged appropriately. - -Requirements: - -- any POSIX-compliant shell -- curl - https://curl.se/ -- make - https://www.gnu.org/software/make/ -- pup - https://tracker.debian.org/pkg/pup -- sqlite3 - https://www.sqlite.org/index.html diff --git a/src/Info.plist b/src/Info.plist index 111baae..f94b2c9 100644 --- a/src/Info.plist +++ b/src/Info.plist @@ -3,11 +3,11 @@ CFBundleIdentifier - + gnuautomake CFBundleName - + GNU Automake DocSetPlatformFamily - + automake isDashDocset diff --git a/src/icon.png b/src/icon.png new file mode 100644 index 0000000..9b18522 Binary files /dev/null and b/src/icon.png differ diff --git a/src/index-page.sh b/src/index-page.sh new file mode 100755 index 0000000..0b6e693 --- /dev/null +++ b/src/index-page.sh @@ -0,0 +1,34 @@ +#!/usr/bin/env sh + +# shellcheck source=./lib/create_table +. "$(dirname "$0")"/lib/create_table +# shellcheck source=./lib/insert +. "$(dirname "$0")"/lib/insert + +DB_PATH="$1" +shift + +get_title() { + FILE="$1" + + pup -p -f "$FILE" 'title text{}' | \ + tr -d \\n | \ + sed 's/\"/\"\"/g' +} + +insert_pages() { + # Get title and insert into table for each html file + while [ -n "$1" ]; do + unset PAGE_NAME + unset PAGE_TYPE + PAGE_NAME="$(get_title "$1")" + PAGE_TYPE="Guide" + if [ -n "$PAGE_NAME" ]; then + insert "$DB_PATH" "$PAGE_NAME" "$PAGE_TYPE" "$(basename "$1")" + fi + shift + done +} + +create_table "$DB_PATH" +insert_pages "$@" diff --git a/src/index-terms.sh b/src/index-terms.sh new file mode 100755 index 0000000..f74af03 --- /dev/null +++ b/src/index-terms.sh @@ -0,0 +1,33 @@ +#!/usr/bin/env sh + +# shellcheck source=./lib/create_table +. "$(dirname "$0")"/lib/create_table +# shellcheck source=./lib/insert +. "$(dirname "$0")"/lib/insert + +TYPE="$1" +shift +DB_PATH="$1" +shift + +insert_index_terms() { + # Get each term from an index page and insert + while [ -n "$1" ]; do + grep -Eo ":" "$1" | while read -r line; do + insert_term "$line" + done + + shift + done +} + +insert_term() { + LINK="$1" + NAME="$(echo "$LINK" | pup -p 'a text{}' | sed 's/\"\"//g' | tr -d \\n)" + PAGE_PATH="$(echo "$LINK" | pup -p 'a attr{href}')" + + insert "$DB_PATH" "$NAME" "$TYPE" "$PAGE_PATH" +} + +create_table "$DB_PATH" +insert_index_terms "$@" diff --git a/src/index.sh b/src/index.sh deleted file mode 100755 index 0b6e693..0000000 --- a/src/index.sh +++ /dev/null @@ -1,34 +0,0 @@ -#!/usr/bin/env sh - -# shellcheck source=./lib/create_table -. "$(dirname "$0")"/lib/create_table -# shellcheck source=./lib/insert -. "$(dirname "$0")"/lib/insert - -DB_PATH="$1" -shift - -get_title() { - FILE="$1" - - pup -p -f "$FILE" 'title text{}' | \ - tr -d \\n | \ - sed 's/\"/\"\"/g' -} - -insert_pages() { - # Get title and insert into table for each html file - while [ -n "$1" ]; do - unset PAGE_NAME - unset PAGE_TYPE - PAGE_NAME="$(get_title "$1")" - PAGE_TYPE="Guide" - if [ -n "$PAGE_NAME" ]; then - insert "$DB_PATH" "$PAGE_NAME" "$PAGE_TYPE" "$(basename "$1")" - fi - shift - done -} - -create_table "$DB_PATH" -insert_pages "$@" diff --git a/src/lib/insert b/src/lib/insert index baa13bd..31c1b4c 100644 --- a/src/lib/insert +++ b/src/lib/insert @@ -4,5 +4,5 @@ insert() { TYPE="$3" PAGE_PATH="$4" - sqlite3 "$DB_PATH" "INSERT INTO searchIndex(name, type, path) VALUES (\"$NAME\",\"$TYPE\",\"libc/$PAGE_PATH\");" + sqlite3 "$DB_PATH" "INSERT INTO searchIndex(name, type, path) VALUES (\"$NAME\",\"$TYPE\",\"$PAGE_PATH\");" } -- cgit