|
e90bef50
|
2019-08-09T19:33:12
|
|
fix MANDIR during regular 'make install'; the port will have to override it
|
|
|
e1e1d0ac
|
2019-08-09T00:23:09
|
|
fix man page directory setting in Makefile release mode
|
|
|
53ccebc2
|
2019-07-30T14:54:05
|
|
add 'make release' target; programs now have a version number
|
|
|
d4e1ff4f
|
2019-07-08T17:31:50
|
|
fix compiler invocation with 'make PROFILE=1'
|
|
|
f4081577
|
2018-09-15T20:45:42
|
|
add a Makefile.inc knob which enables cache debug output
|
|
|
079b2f65
|
2018-09-08T16:56:10
|
|
add a Makefile hierarchy which builds the whole show
|