diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2019-02-15 14:08:54 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2019-02-17 17:52:26 +0100 |
| commit | 582ec2e3c2209b95ca2153feb0c07535e06bfc31 (patch) | |
| tree | 37bc20c61a6672a7547828d1068d2fc8cc2e04ce /gdbhelpers | |
| parent | 90190ad2a9fef0a145646dfb4b822997fd0e686e (diff) | |
| download | sparse-dev-582ec2e3c2209b95ca2153feb0c07535e06bfc31.tar.gz | |
build: get rid of MAN1DIR
MAN1DIR is one of the configurable build option but it
seems to have few, if any, reasons to have such an option
in addition of MANDIR.
So, remove this variable and simplify the install rules
by using an internal-only "$(bindir)" & "$(man1dir)" to
replace "$(DESTDIR)$(BINDIR)" & "$(DESTDIR)$(MANDIR)/man1".
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'gdbhelpers')
0 files changed, 0 insertions, 0 deletions