diff options
author | 2014-08-05 03:02:40 +0000 | |
---|---|---|
committer | 2014-08-05 03:02:40 +0000 | |
commit | c2066aa11dd28efefd74187f584fcb32649483dd (patch) | |
tree | c6904d5eb1b0de69e06054cc617cf6f69a938c48 /configure | |
parent | 6422b087c829e37220be1d223f12a00c8a86393b (diff) | |
download | mandoc-c2066aa11dd28efefd74187f584fcb32649483dd.tar.gz mandoc-c2066aa11dd28efefd74187f584fcb32649483dd.tar.zst mandoc-c2066aa11dd28efefd74187f584fcb32649483dd.zip |
Properly partition the build system and install some missing stuff:
* Introduce targets base-build, db-build, cgi-build.
* Introduce targets base-install, db-install, cgi-install.
* Introduce a BUILD_TARGETS variable to contain db-build and cgi-build.
* Introduce an INSTALL_TARGETS variable and fill it using BUILD_TARGETS.
* Install the whatis(1) and makewhatis(8) binaries.
* Install the apropos(1), whatis(1), and makewhatis(8) manuals.
* Install mandoc_aux.h.
* Do not build manpage(1) by default.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions