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 0000000000..d6e289d5b3 --- /dev/null +++ b/tools/flex/patches/100-disable-tests-docs.patch @@ -0,0 +1,13 @@ +--- a/Makefile.am ++++ b/Makefile.am +@@ -45,10 +45,7 @@ + SUBDIRS = \ + lib \ + src \ +- doc \ +- examples \ + po \ +- tests \ + tools + + # Create the ChangeLog, but only if we're inside a git working directory |