aboutsummaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Expand)Author
2022-10-29[builder][server][proxy] add `reuse-lint` Makefile ruleWojtek Kosior
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...* We're no longer treating builds from git and builds from release tarball differently. We now generate a source tarball under `./dist/` in both cases. * We're now using `guix time-machine` to ensure we're always running a Guix revision that works. Wojtek Kosior