diff options
Diffstat (limited to 'tools/flex/patches/100-disable-tests-docs.patch')
| -rw-r--r-- | tools/flex/patches/100-disable-tests-docs.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/tools/flex/patches/100-disable-tests-docs.patch b/tools/flex/patches/100-disable-tests-docs.patch new file mode 100644 index 00000000000..f7097f2127d --- /dev/null +++ b/tools/flex/patches/100-disable-tests-docs.patch @@ -0,0 +1,13 @@ +--- a/Makefile.am ++++ b/Makefile.am +@@ -43,10 +43,7 @@ EXTRA_DIST = \ + + SUBDIRS = \ + src \ +- doc \ +- examples \ + po \ +- tests \ + tools + + # Create the ChangeLog, but only if we're inside a git working directory |