1 files changed, 0 insertions, 29 deletions
diff --git a/doc/tools/bmenu/system.h b/doc/tools/bmenu/system.h
deleted file mode 100644
index c1dec959ed..0000000000
--- a/doc/tools/bmenu/system.h
+++ /dev/null
@@ -1,29 +0,0 @@
-/*
- *  COPYRIGHT (c) 1988-2002.
- *  On-Line Applications Research Corporation (OAR).
- *  All rights reserved.
- */
-
-#ifndef __SYSTEM_h
-#define __SYSTEM_h
-
-#define STATIC static
-#define INLINE inline
-
-#ifndef NULL
-#define NULL 0
-#endif
-
-typedef unsigned int   boolean;
-
-#if !defined( TRUE ) || (TRUE != 1)
-#undef TRUE
-#define TRUE     (1)
-#endif
-
-#if !defined( FALSE ) || (FALSE != 0)
-#undef FALSE
-#define FALSE 0
-#endif
-
-#endif