File tree Expand file tree Collapse file tree 1 file changed +5
-0
lines changed Expand file tree Collapse file tree 1 file changed +5
-0
lines changed Original file line number Diff line number Diff line change 8
8
texfiles=$( ls * .tex | grep -v macros.tex | grep -v layout.tex | grep -v tables.tex)
9
9
texlibdesc=" support.tex concepts.tex diagnostics.tex memory.tex meta.tex utilities.tex containers.tex iterators.tex ranges.tex algorithms.tex strings.tex text.tex numerics.tex time.tex iostreams.tex threads.tex exec.tex"
10
10
texlib=" lib-intro.tex $texlibdesc "
11
+ texnoback=$( ls * .tex | grep -v back.tex)
11
12
12
13
# Filter that reformats the error message as a "workflow command",
13
14
# for native handling by github actions.
@@ -39,6 +40,10 @@ for f in *.tex; do
39
40
echo " $f " | fail ' trailing empty lines' || failed=1
40
41
done
41
42
43
+ # "floating point" instead of "floating-point"
44
+ grep -in ' floating point' $texnoback |
45
+ fail ' "floating point" should be hyphenated like "floating-point"' || failed=1
46
+
42
47
# indented \begin{codeblock} / \end{codeblock} (causes unwanted empty space)
43
48
grep -ne ' ^.\+\\\(begin\|end\){codeblock}' $texfiles |
44
49
fail ' indented codeblock env' || failed=1
You can’t perform that action at this time.
0 commit comments