diff options
author | Colin Watson <cjwatson@debian.org> | 2001-06-28 21:39:40 +0000 |
---|---|---|
committer | Colin Watson <cjwatson@debian.org> | 2001-06-28 21:39:40 +0000 |
commit | b5a77e993717cdb908464c03b4d6b8f567cf3fdc (patch) | |
tree | a1bf3e5e6242e94097d71229c691eca88487218e /src/check_mandirs.h | |
parent | 42fc46b2ab7eb52e999287a2116f43dc569c06fc (diff) |
Teach mandb how to purge old entries from the database. Other minor fixes
discovered while debugging this.
Diffstat (limited to 'src/check_mandirs.h')
-rw-r--r-- | src/check_mandirs.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/check_mandirs.h b/src/check_mandirs.h index 7ce29c7a..5cdaf6f5 100644 --- a/src/check_mandirs.h +++ b/src/check_mandirs.h @@ -9,3 +9,4 @@ extern void update_db_time (void); extern void reset_db_time (void); extern short create_db (const char *manpath); extern short update_db (const char *manpath); +extern short purge_missing (const char *manpath); |