1 files changed, 0 insertions, 8 deletions
diff --git a/codec-cfg.c b/codec-cfg.c
index 56dae05c45..d14eaff5d7 100644
--- a/codec-cfg.c
+++ b/codec-cfg.c
@@ -888,14 +888,6 @@ void list_codecs(int audioflag){
 
 
 #ifdef CODECS2HTML
-/*
- * Fake out GUI references when building the codecs2html utility.
- */
-#ifdef CONFIG_GUI
-void gtkMessageBox( int type,char * str ) { return; }
-int use_gui = 0;
-#endif
-
 void wrapline(FILE *f2,char *s){
     int c;
     if(!s){