aboutsummaryrefslogtreecommitdiff
path: root/docs/default.do
AgeCommit message (Collapse)Author
2020-12-24cpt: add info page to the build systemmerakor
- 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
2020-12-21docs/default: change targetsmerakor
FossilOrigin-Name: 779edf420267002781b77fe90d1a9301cb02aab72c6f5f5c51a5e27d439573f1
2020-12-20docs: change texinfo build functionmerakor
FossilOrigin-Name: 292f67b613434aeb4c338dc906245848d8c80410f9afb4945a5e62b7c8ca3880
2020-12-20update redo filesmerakor
FossilOrigin-Name: 1096355ead3f8b366f9cf1428369d38cc9735d78da31e8fcfbb3c7ce046d1db0
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-25 06:47:34 +0000