diff options
| author | Teddy Wing | 2022-05-22 06:27:18 +0200 |
|---|---|---|
| committer | Teddy Wing | 2022-05-22 06:27:18 +0200 |
| commit | 89261751eb5bdca404901298bf154e7d6f3c1799 (patch) | |
| tree | 312e637121528b13dd7ce333e4efda137029dffe /.gitmodules | |
| parent | d7607cf54769259077acc3acc1f224960639476a (diff) | |
| download | wajir-89261751eb5bdca404901298bf154e7d6f3c1799.tar.bz2 | |
Makefile: Remove filenames from install destinations
Install to directories instead of filenames. We don't need the
filenames, and on top of that, `$(MAN_PAGE)` was wrong, as it includes
the "doc/" prefix.
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions