diff options
Diffstat (limited to 'meta/recipes-devtools/bison/bison/dont-depend-on-help2man.patch.patch')
-rw-r--r-- | meta/recipes-devtools/bison/bison/dont-depend-on-help2man.patch.patch | 44 |
1 files changed, 0 insertions, 44 deletions
diff --git a/meta/recipes-devtools/bison/bison/dont-depend-on-help2man.patch.patch b/meta/recipes-devtools/bison/bison/dont-depend-on-help2man.patch.patch deleted file mode 100644 index 8a41a3a762..0000000000 --- a/meta/recipes-devtools/bison/bison/dont-depend-on-help2man.patch.patch +++ /dev/null | |||
@@ -1,44 +0,0 @@ | |||
1 | From 31bb81ef15c42b10844eb8af8738f672076edf0e Mon Sep 17 00:00:00 2001 | ||
2 | From: Marko Lindqvist <cazfi74@gmail.com> | ||
3 | Date: Tue, 21 Apr 2015 00:48:45 -0700 | ||
4 | Subject: [PATCH] doc/local.mk: dont-depend-on-help2man.patch | ||
5 | |||
6 | Upstream-Status: Inappropriate | ||
7 | |||
8 | Signed-off-by: Marko Lindqvist <cazfi74@gmail.com> | ||
9 | |||
10 | Updated for bison 3.0.4 | ||
11 | |||
12 | Signed-off-by: Robert Yang <liezhi.yang@windriver.com> | ||
13 | |||
14 | --- | ||
15 | doc/local.mk | 9 +-------- | ||
16 | 1 file changed, 1 insertion(+), 8 deletions(-) | ||
17 | |||
18 | diff --git a/doc/local.mk b/doc/local.mk | ||
19 | index d12836e..f9bf332 100644 | ||
20 | --- a/doc/local.mk | ||
21 | +++ b/doc/local.mk | ||
22 | @@ -101,10 +101,7 @@ endif ! CROSS_COMPILING | ||
23 | ## Man Pages. ## | ||
24 | ## ----------- ## | ||
25 | |||
26 | -dist_man_MANS = $(top_srcdir)/doc/bison.1 | ||
27 | - | ||
28 | -EXTRA_DIST += $(dist_man_MANS:.1=.x) | ||
29 | -MAINTAINERCLEANFILES += $(dist_man_MANS) | ||
30 | +EXTRA_DIST += bison.x | ||
31 | |||
32 | # Differences to ignore when comparing the man page (the date). | ||
33 | remove_time_stamp = \ | ||
34 | @@ -127,10 +124,6 @@ $(top_srcdir)/doc/bison.1: $(MAN_DEPS) | ||
35 | fi | ||
36 | $(AM_V_at)rm -f $@*.tmp | ||
37 | |||
38 | -if ENABLE_YACC | ||
39 | -nodist_man_MANS = doc/yacc.1 | ||
40 | -endif | ||
41 | - | ||
42 | ## ----------------------------- ## | ||
43 | ## Graphviz examples generation. ## | ||
44 | ## ----------------------------- ## | ||