diff options
Diffstat (limited to 'plugins/mate')
-rw-r--r-- | plugins/mate/Makefile.common | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/plugins/mate/Makefile.common b/plugins/mate/Makefile.common index bbadccaff8..b59ee8793a 100644 --- a/plugins/mate/Makefile.common +++ b/plugins/mate/Makefile.common @@ -64,7 +64,4 @@ HEADER_FILES = \ $(FLEX_GENERATED_HEADER_FILES) \ $(CLEAN_HEADER_FILES) -NODIST_HEADER_FILES = \ - $(LEMON_GENERATED_HEADER_FILES) - include ../Makefile.common.inc |