Searched defs:mandir (Results 1 – 8 of 8) sorted by relevance
15 mandir ?= $(prefix)/man macro
29 mandir ?= $(prefix)/share/man macro
29 mandir=$(prefix)/man macro
27 mandir?=$(prefix)/share/man macro
8 mandir=$(prefix)/man macro
69 mandir ?= /usr/man macro
45 mandir?=$(prefix)/share/man macro
529 manpage_config.set('mandir', join_paths(get_option('prefix'), get_option('mandir'))) cfgvar in manpage_config