diff --git a/Doc/tools/mkinfo b/Doc/tools/mkinfo index 64fb86e42b2..65add7c730f 100755 --- a/Doc/tools/mkinfo +++ b/Doc/tools/mkinfo @@ -7,7 +7,6 @@ # # Written by Fred L. Drake, Jr. -PERL=${PERL:-perl} EMACS=${EMACS:-emacs} MAKEINFO=${MAKEINFO:-makeinfo}