|
@@ -90,7 +90,7 @@ init_check() {
|
|
fi
|
|
fi
|
|
|
|
|
|
# external tools
|
|
# external tools
|
|
- for tool in touch curl pandoc pdflatex
|
|
|
|
|
|
+ for tool in touch pandoc pdflatex
|
|
do
|
|
do
|
|
local tool_location=$(command -v $tool)
|
|
local tool_location=$(command -v $tool)
|
|
if test "$tool_location";
|
|
if test "$tool_location";
|