diff options
author | default <nobody@localhost> | 2022-11-08 13:01:10 +0100 |
---|---|---|
committer | default <nobody@localhost> | 2022-11-08 13:01:10 +0100 |
commit | 8aade19c8c38fc92ee83b4f1d88ec103dd5d2943 (patch) | |
tree | 43469d62ceb74605ab198069651a913da352cd91 /html.c | |
parent | c3e3db84ed5c8fa8da87479c63f1066204f0d495 (diff) |
New Makefile variable PREFIX_MAN, to install man pages wherever you want.
Diffstat (limited to 'html.c')
0 files changed, 0 insertions, 0 deletions