mirror: Update .gitignore files

Since the current repository has a layout that differs from the
tools/bpf/bpftool/ directory from the kernel, a few entries in the
.gitignore files may require some adjustements. In particular:

- Move the entry for generated man pages to a dedicated .gitignore under
  docs/
- Add an entry for the .o object files, which are covered by a
  higher-level .gitignore in the kernel repository.

Signed-off-by: Quentin Monnet <[email protected]>
diff --git a/scripts/sync-kernel.sh b/scripts/sync-kernel.sh
index 49d9be4..11de324 100755
--- a/scripts/sync-kernel.sh
+++ b/scripts/sync-kernel.sh
@@ -67,7 +67,7 @@
 
 BPFTOOL_PATHS="${!PATH_MAP[@]}"
 BPFTOOL_VIEW_PATHS="${PATH_MAP[@]}"
-BPFTOOL_VIEW_EXCLUDE_REGEX='^src/Makefile\.(feature|include)$'
+BPFTOOL_VIEW_EXCLUDE_REGEX='^(docs/\.gitignore|src/Makefile\.(feature|include))$'
 LINUX_VIEW_EXCLUDE_REGEX='^$'
 
 # Deal with tools/bpf/bpftool first, because once we've mkdir-ed src/, command