diff options
| author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2019-05-17 15:44:10 +0300 |
|---|---|---|
| committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2019-05-17 15:44:10 +0300 |
| commit | 8464dc3053056a1e0a8f386fb57783ed715a0249 (patch) | |
| tree | 0dd95d2f2d93022e156701d1501ad46bbd039a9e | |
| parent | 56b967993fca0eb2b6026376b2f1505f19f295dd (diff) | |
| download | openrussian-cli-8464dc3053056a1e0a8f386fb57783ed715a0249.tar.gz | |
automatically update the mandb on `make install`
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -47,6 +47,7 @@ install : openrussian openrussian-sqlite3.db \ cp openrussian-completion.bash $(DESTDIR)$(COMPLETIONSDIR)/openrussian mkdir -p $(DESTDIR)$(PREFIX)/man/man1 cp openrussian.1 $(DESTDIR)$(PREFIX)/man/man1 + mandb clean: $(RM) openrussian openrussian-sql.zip openrussian-sqlite3.db |