aboutsummaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Expand)Author
2022-10-28[proxy] make it possible to export embedded documentation as standalone .html...Wojtek Kosior
2022-10-19[builder][server][proxy] for make targets that spawn a shell, modify bash pro...Wojtek Kosior
2022-10-18[builder][server][proxy] facilitate running mypy linter through MakefileWojtek Kosior
2022-10-18[builder][server][proxy] make generated tarballs reproducibleWojtek Kosior
2022-10-17[builder][server][proxy] orchestrate Guix-powered development with a Makefile...Wojtek Kosior