diff options
Diffstat (limited to 'Makefile.config.in')
| -rw-r--r-- | Makefile.config.in | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Makefile.config.in b/Makefile.config.in index f187c5fc7b..fd17ad4ced 100644 --- a/Makefile.config.in +++ b/Makefile.config.in @@ -152,8 +152,6 @@ PERL := @PERL@ BZIP2 := @BZIP2@ DOT := @DOT@ DOXYGEN := @DOXYGEN@ -ETAGS := @ETAGS@ -ETAGSFLAGS := @ETAGSFLAGS@ GROFF := @GROFF@ GZIP := @GZIP@ OCAMLC := @OCAMLC@ |