1 files changed, 1 insertions, 0 deletions
diff --git a/mandocdb.c b/mandocdb.c
index 2c75eb64..4a8af53d 100644
--- a/mandocdb.c
+++ b/mandocdb.c
@@ -46,6 +46,7 @@
 #include "mdoc.h"
 #include "man.h"
 #include "mandoc.h"
+#include "mandoc_aux.h"
 #include "manpath.h"
 #include "mansearch.h"