From 0a86453d2dcd84fc9cb989d1ae23fd1c19b0b4e9 Mon Sep 17 00:00:00 2001 From: Louie Shprung Date: Mon, 27 Mar 2023 10:30:52 -0700 Subject: Remove duplicates --- src/index-page.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/index-page.sh b/src/index-page.sh index e26cdf8..55cd1ec 100755 --- a/src/index-page.sh +++ b/src/index-page.sh @@ -12,7 +12,7 @@ get_title() { FILE="$1" pup -p -f "$FILE" 'title text{}' | \ - sed 's/(Lexical Analysis With Flex.*)//' | \ + sed 's/ (Lexical Analysis With Flex.*)//' | \ tr -d \\n | \ sed 's/\"/\"\"/g' } -- cgit