get_title() {
	FILE="$1"


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