1 files changed, 36 insertions, 0 deletions
diff --git a/doc/tools/pdl2texi/system.h b/doc/tools/pdl2texi/system.h
new file mode 100644
index 0000000000..173e48ce04
--- /dev/null
+++ b/doc/tools/pdl2texi/system.h
@@ -0,0 +1,36 @@
+/*
+ *  COPYRIGHT (c) 1997.
+ *  On-Line Applications Research Corporation (OAR).
+ *  All rights reserved.
+ *
+ *  $Id$
+ */
+
+#ifndef __SYSTEM_h
+#define __SYSTEM_h
+
+typedef unsigned int   unsigned32;
+typedef unsigned short unsigned16;
+typedef unsigned char  unsigned8;
+
+#define USE_INLINES 
+#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