From ced9a0ba0397936af697e745864d2e105c59f244 Mon Sep 17 00:00:00 2001
From: erickeller <keller.eric@gmail.com>
Date: Fri, 29 Oct 2021 21:24:37 +0200
Subject: [PATCH] Update mandb after installing the man page

When manually installing the manpage, also update the mandb.

Signed-off-by: Eric Keller <keller.eric@gmail.com>
---
 INSTALL.md | 2 +-
 Makefile   | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/INSTALL.md b/INSTALL.md
index 00aabb7d..c224eb32 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -118,7 +118,7 @@ So, installation might look something like the following:
 
    ```
    cp -a git-filter-repo $(git --exec-path)
-   cp -a git-filter-repo.1 $(git --man-path)/man1
+   cp -a git-filter-repo.1 $(git --man-path)/man1 && mandb
    cp -a git-filter-repo.html $(git --html-path)
    ln -s $(git --exec-path)/git-filter-repo \
        $(python -c "import site; print(site.getsitepackages()[-1])")/git_filter_repo.py
diff --git a/Makefile b/Makefile
index 85f378b9..928d2158 100644
--- a/Makefile
+++ b/Makefile
@@ -38,6 +38,7 @@ install: snag_docs #fixup_locale
 	ln -sf "$(bindir)/git-filter-repo" "$(pythondir)/git_filter_repo.py"
 	cp -a Documentation/man1/git-filter-repo.1 "$(mandir)/man1/git-filter-repo.1"
 	cp -a Documentation/html/git-filter-repo.html "$(htmldir)/git-filter-repo.html"
+	if which mandb > /dev/null; then mandb; fi
 
 
 #