Removed.

diff --git a/util/robodoc/Source/config.h b/util/robodoc/Source/config.h
deleted file mode 100644 (file)
index 6304664..0000000
--- a/util/robodoc/Source/config.h
+++ /dev/null
@@ -1,30 +0,0 @@
-/* Source/config.h.  Generated automatically by configure.  */
-/* Source/config.h.in.  Generated automatically from configure.in by autoheader.  */
-
-/* Define to empty if the keyword does not work.  */
-/* #undef const */
-
-/* Define if you don't have vprintf but do have _doprnt.  */
-/* #undef HAVE_DOPRNT */
-
-/* Define if you have the strftime function.  */
-#define HAVE_STRFTIME 1
-
-/* Define if you have the vprintf function.  */
-#define HAVE_VPRINTF 1
-
-/* Define to `unsigned' if <sys/types.h> doesn't define.  */
-/* #undef size_t */
-
-/* Define if you have the ANSI C header files.  */
-#define STDC_HEADERS 1
-
-/* Define if you have the strstr function.  */
-#define HAVE_STRSTR 1
-
-/* Name of package */
-#define PACKAGE "robodoc"
-
-/* Version number of package */
-#define VERSION "3.2.3"
-