get_title « texinfo « src - gnu-texinfo-dash-docset.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/src/texinfo/get_title

blob: b501501349912ba588f23933e934268a7bfb0136 (plain)

get_title() {
	FILE="$1"

	pup -p -f "$FILE" 'title text{}' | \
		tr -d \\n | \
		sed 's/ (GNU[^)]*)$//' | \
		sed 's/\"/\"\"/g'
}