diff options
Diffstat (limited to 'plugins/Makefile.common.inc')
-rw-r--r-- | plugins/Makefile.common.inc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/plugins/Makefile.common.inc b/plugins/Makefile.common.inc index f82cc004e7..80915cc5ea 100644 --- a/plugins/Makefile.common.inc +++ b/plugins/Makefile.common.inc @@ -85,6 +85,12 @@ NODIST_SRC_FILES = \ $(LEMON_GENERATED_CPP_FILES) # +# All non-distributed header files. +# +NODIST_HEADER_FILES = \ + $(LEMON_GENERATED_HEADER_FILES) + +# # All Flex-generated source files. # FLEX_GENERATED_SRC_FILES = \ |