+SRC_URI += "file://doc_noremove_manual_onfailure.patch"
+
+do_patch () {
+ echo RLM begining of do_patch
+
+ cat ${WORKDIR}/doc_noremove_manual_onfailure.patch | patch -p1 -b --suffix --fuzz=2
+
+ echo RLM end of do_patch
+}
+
+
--- /dev/null
+diff --git a/doc/Makefile.am b/doc/Makefile.am
+index bfed30d..96d75f0 100644
+--- a/doc/Makefile.am
++++ b/doc/Makefile.am
+@@ -12,5 +12,5 @@ $(dist_man_MANS): $(top_srcdir)/main.c
+ for i in $(dist_man_MANS) ; do \
+ $(help2man) --name='$(PACKAGE_NAME)' \
+ --section=`echo $$i | sed -e 's/.*\.\([^.]*\)$$/\1/'` \
+- ../flex$(EXEEXT) > $$i || rm -f $$i ; \
++ ../flex$(EXEEXT) > $$i || /bin/true ; \
+ done