It is not clear to me if it is a needed port anyway, so I'd be skeptical
of patches that "fix it". It may be obviated completely by more recent
teTeX distributions.
I'm not sure that my original goals for hugelatex even make sense any
more, and that the port is still needed. Does it properly work with
larger documents that the default won't work with? [If not,] the port
should simply be removed.
I don't know enough about LaTeX to know that answer to that one. Could
LaTeX users weigh in on this?
PR: ports/50094, ports/51837
Submitted by: Volker Stolz, Alex Dupre
Approved by: murray (maintainer)
the ECHO macro is set to "echo" by default, but it is set to "true" if
make(1) is invoked with the -s option while ECHO_CMD is always set to
the echo command.
