diff --git a/packages/devel/flex/patches/flex-002-nocrap.patch b/packages/devel/flex/patches/flex-002-nocrap.patch
new file mode 100644
index 0000000000..e880345409
--- /dev/null
+++ b/packages/devel/flex/patches/flex-002-nocrap.patch
@@ -0,0 +1,13 @@
+--- a/Makefile.am	2020-01-08 12:57:40.940081434 +0100
++++ b/Makefile.am	2020-01-08 12:57:59.603818146 +0100
+@@ -50,10 +50,6 @@
+ SUBDIRS = \
+ 	lib \
+ 	src \
+-	doc \
+-	examples \
+-	po \
+-	tests \
+ 	tools
+ 
+ # Create the ChangeLog, but only if we're inside a git working directory
diff --git a/packages/devel/flex/patches/flex-002-nodocs.patch b/packages/devel/flex/patches/flex-002-nodocs.patch
deleted file mode 100644
index 9ed2daa2c3..0000000000
--- a/packages/devel/flex/patches/flex-002-nodocs.patch
+++ /dev/null
@@ -1,10 +0,0 @@
---- flex-2.5.39/Makefile.am.orig	2017-01-26 21:20:07.947836925 +0900
-+++ flex-2.5.39/Makefile.am	2017-01-26 21:20:20.332836652 +0900
-@@ -117,7 +117,6 @@
- SUBDIRS = \
- 	lib \
- 	src \
--	doc \
- 	examples \
- 	po \
- 	tests