Install man3 manpages to $PREFIX/share/man/man3 even for site installs

diff --git a/builtin-fetch--tool.c b/builtin-fetch--tool.c
index ed4d5de5d5e6d0bef5b29f3d21a3e58ff7778c8b..e2f8ede9ae4507ed1e431f9d14fc649f6475627d 100644 (file)
--- a/builtin-fetch--tool.c
+++ b/builtin-fetch--tool.c
@@ -1,3 +1,4 @@
+#include "builtin.h"
 #include "cache.h"
 #include "refs.h"
 #include "commit.h"