Merge branch '__rultor'

yegor256 · Oct 18, 2023 · 2bf7fb3 · 2bf7fb3
2 parents 96883ac + f19c2ac
commit 2bf7fb3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tex/report.tex b/tex/report.tex
@@ -54,7 +54,7 @@
   (\iexec{find "${TARGET}/data" -type f -name '*.csv' | wc -l}\unskip{} total);
 
   \item \ff{github/} is the entire collection of
-  \iexec{find "${TARGET}/github" -f type -name '*.java' | wc -l}\unskip{}
+  \iexec{find "${TARGET}/github" -type f -name '*.java' | wc -l}\unskip{}
   source files ``as is''
   (\iexec{du -sh "${TARGET}/github" | cut -f1}\unskip{} total).