Age | Commit message (Collapse) | Author |
|
- Made the info page an optional part of the build system, meaning that
'redo' will not attempt to build or install the info page if you don't
have 'makeinfo' available on your system.
- The info page is installed to the 'info/' directory relative to the
$SHAREDIR. It can be overriden by setting the INFODIR variable.
FossilOrigin-Name: 4df60a4d7dbaac4948453208251b1210974d931bfcf74b583cd862e9d28fd57c
|
|
FossilOrigin-Name: 779edf420267002781b77fe90d1a9301cb02aab72c6f5f5c51a5e27d439573f1
|
|
FossilOrigin-Name: 292f67b613434aeb4c338dc906245848d8c80410f9afb4945a5e62b7c8ca3880
|
|
FossilOrigin-Name: 1096355ead3f8b366f9cf1428369d38cc9735d78da31e8fcfbb3c7ce046d1db0
|
|
FossilOrigin-Name: 40a002bfab4194969ad59f76b04d52473ca3d64d56f97dd30989b73ac774f9f7
|