blob: f14626a38de851777bb9c50df054e77d76c47843 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
From c76e727433ed895c605f9e7a3612bbc16ff558de Mon Sep 17 00:00:00 2001
From: Aws Ismail <aws.ismail@windriver.com>
Date: Thu, 7 Jun 2012 12:28:34 -0400
Subject: [PATCH] Do not build openipmigui man page
This patch was carried over from WRL4.3 (openipmi v2.0.16)
It was updated for openipmi v2.0.19
Disable making openipmigui man page since we don't need it
Upstream-Status: Pending
Signed-off-by: Aws Ismail <aws.ismail@windriver.com>
Signed-off-by: Yi Zhao <yi.zhao@windriver.com>
---
man/Makefile.am | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/man/Makefile.am b/man/Makefile.am
index 632f55b..5ce79f5 100644
--- a/man/Makefile.am
+++ b/man/Makefile.am
@@ -1,6 +1,6 @@
man_MANS = ipmi_ui.1 openipmicmd.1 openipmish.1 ipmi_cmdlang.7 \
- openipmigui.1 openipmi_conparms.7 solterm.1 rmcp_ping.1 \
+ openipmi_conparms.7 solterm.1 rmcp_ping.1 \
openipmi_eventd.1
EXTRA_DIST = $(man_MANS)
|
