diff --git a/doc-tools/dbadd.c b/doc-tools/dbadd.c
index 779c5f9f14..e41847c81c 100644
--- a/doc-tools/dbadd.c
+++ b/doc-tools/dbadd.c
@@ -18,6 +18,8 @@
  *                                                                  *
 \********************************************************************/
 
+#include "config.h"
+
 #include <errno.h>
 #include <fcntl.h>
 #include <stdio.h>