diff options
| -rwxr-xr-x | Doc/tools/mkinfo | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Doc/tools/mkinfo b/Doc/tools/mkinfo index 64fb86e..65add7c 100755 --- a/Doc/tools/mkinfo +++ b/Doc/tools/mkinfo @@ -7,7 +7,6 @@ # # Written by Fred L. Drake, Jr. <fdrake@acm.org> -PERL=${PERL:-perl} EMACS=${EMACS:-emacs} MAKEINFO=${MAKEINFO:-makeinfo} |