diff options
author | Akira Yokosawa <akiyks@gmail.com> | 2023-07-07 21:13:19 +0900 |
---|---|---|
committer | Paul E. McKenney <paulmck@kernel.org> | 2023-07-07 09:29:10 -0700 |
commit | 19db94fddd65e85d56c08fe2dae8ccd7dd44f8f5 (patch) | |
tree | 0d0c9fda0ae95a74892e5fad6bbea3547af28575 | |
parent | cfa3c06fc4afdd3a75fe13daf9d84c44304c8a1d (diff) | |
download | perfbook-19db94fddd65e85d56c08fe2dae8ccd7dd44f8f5.tar.gz |
runlatex.sh: Fix typo (exerpt -> excerpt)
Signed-off-by: Akira Yokosawa <akiyks@gmail.com>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
-rw-r--r-- | utilities/runlatex.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/utilities/runlatex.sh b/utilities/runlatex.sh index b146da20..dd62327a 100644 --- a/utilities/runlatex.sh +++ b/utilities/runlatex.sh @@ -53,7 +53,7 @@ identical_warnings () { return 1 ; } -exerpt_warnings () { +excerpt_warnings () { if grep -q "LaTeX Warning:" $basename.log then echo "----- Excerpt around remaining warning messages -----" @@ -123,7 +123,7 @@ do if test $undefined_refs then echo "Undefined refs remain, giving up." - exerpt_warnings + excerpt_warnings fi if identical_warnings then @@ -145,7 +145,7 @@ do echo "$LATEX $iter for $pdfname # label(s) may have changed" iterate_latex done -exerpt_warnings +excerpt_warnings rm -f $basename-warning.log $basename-warning-prev.log echo "'$basename.pdf' is ready." # cleveref version check (Ubuntu 18.04 LTS has buggy one |