diff options
Diffstat (limited to 'usr.bin/mandoc/mandoc.ucl')
-rw-r--r-- | usr.bin/mandoc/mandoc.ucl | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/usr.bin/mandoc/mandoc.ucl b/usr.bin/mandoc/mandoc.ucl new file mode 100644 index 000000000000..f320b6f547fd --- /dev/null +++ b/usr.bin/mandoc/mandoc.ucl @@ -0,0 +1,18 @@ +path_glob: "/usr/share/man/*" + +cleanup: { + type: lua + sandbox: false + script: <<EOD + os.remove("/usr/share/man/mandoc.db") +EOD +} + +trigger: { + type: lua + sandbox: false + script: <<EOD + print("Generating apropos(1) database...") + pkg.exec({"/usr/bin/makewhatis", "/usr/share/man"}) +EOD +} |