# HG changeset patch
# User alex
# Date 1062511237 0
# Node ID fdf41cac41ac193a3f7211c856dfce0704a4c697
# Parent  f40a897cb2764cd7eeb1a8660106f9500d848cc3
libmenu is missing the dvb headers, patch by Gotz Waschk <waschk@informatik.uni-rostock.de>

diff -r f40a897cb276 -r fdf41cac41ac libmenu/Makefile
--- a/libmenu/Makefile	Mon Sep 01 19:47:34 2003 +0000
+++ b/libmenu/Makefile	Tue Sep 02 14:00:37 2003 +0000
@@ -6,6 +6,7 @@
 SRCS= menu.c vf_menu.c menu_cmdlist.c menu_pt.c menu_list.c menu_filesel.c menu_txt.c menu_console.c menu_param.c
 ifeq ($(DVBIN),yes)
 SRCS += menu_dvbin.c
+EXTRA_INC += $(DVB_INC)
 endif
 OBJS=$(SRCS:.c=.o)