Toolchain: Remove dependency check for texinfo

Turns out we don't need that after all.
abyesilyurt · May 30, 2021 · 7dedf09 · 7dedf09
1 parent 597539a
commit 7dedf09
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/Toolchain/BuildIt.sh b/Toolchain/BuildIt.sh
@@ -104,12 +104,6 @@ if ! command -v patch >/dev/null; then
  exit 1
 fi
 
-buildstep dependencies echo "Checking whether 'makeinfo' is available..."
-if ! command -v makeinfo >/dev/null; then
- buildstep dependencies echo "Please make sure to install GNU Texinfo (for the 'makeinfo' tool)."
- exit 1
-fi
-
 buildstep dependencies echo "Checking whether your C compiler works..."
 if ! ${CC:-cc} -o /dev/null -xc - >/dev/null <<'PROGRAM'
 int main() {}